二进制代码安全分析综述

近几十年来,计算机硬件性能和软件规模技术已不同以往,其承载了人类社会生活生产的方方面面.计算机技术的飞速发展,也带来了人们对程序安全问题的关注.由于市面上存在着较多的遗留软件,这些软件无人维护且缺乏源代码支持,其安全性令人担忧,而二进制分析技术被用来解决该类软件问题.二进制分析技术根据其检测方式不同可分为:基于静态的二进制代码分析技术、基于动态的二进制代码分析技术和动静态混合的二进制代码分析技术.本文调研了近年来的二进制代码安全分析领域上相关研究,分别详细阐述了这3类技术中的主要方法,并对其关键技术进行详细介绍.     

表达式的覆盖、分解与划分

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念,得到２个表达式之间覆盖关系的判别准则．对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式,得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．     

DES加密算法在秘密共享中的应用

秘密共享思想提出后,经过几十年的发展已经出现了很多不同方案、模型等。本文根据秘密共享的特性提出了一种基于对称密钥系统的秘密共享方案。该方案解决了一些秘密共享现有的问题的,尤其是可验证性。存储在密钥分发者的信息都是加密后的密文,因此,其抗攻击的强度就是使用的加密算法的强度。通过简单C＋＋程序实现这一方案。对方案的可行性进行分析。     

具有行业特色的计算机类专业建设

高职教育的任务决定了人才培养目标要符合职业岗位的要求。文章提出计算机类专业建设必须注重行业特色,设置与行业相关的专业,构筑与行业融合的专业人才培养方案。并总结了实践遇到的若干问题,为其他职业院校专业建设提供借鉴。     

An algebraic foundation for automatic feature-based program synthesis

Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along different lines of research, different notions of a feature have been developed. Although these notions have similar goals, no common basis for evaluation, comparison, and integration exists. We present a feature algebra that captures the key ideas of feature orientation and that provides a common ground for current and future research in this field, on which also alternative options can be explored. Furthermore, our algebraic framework is meant to serve as a basis for the development of the technology of automatic feature-based program synthesis and architectural metaprogramming.     

基于秘密共享模数的一般性多方求逆协议

Catalano、Gennaro和Halevi提出了一个实用的基于秘密共享模数的分布式求逆协议,然而他们仅仅考虑了门限敌手结构的情况.文中考虑了一般敌手结构的情况,针对半诚实敌手和恶意敌手,利用Damgard和Thorbek提出的线性整数秘密共享方案,分别构造了一个多方模求逆协议.该协议在敌手结构是Q2(对应Q3以及强RSA假设)的条件下针对半诚实(对应恶意)敌手是安全的.该协议是Catalano等人方案的一个推广,可以用来分布式地计算RSA私钥以及构造标准模型下安全的分布式Gennaro-Halevi-Rabin、Cramer-Shoup和Mames-Joye签名方案.另外,文中的构造方法也是对环上的安全多方协议构造方法的一个有力补充.     

谈高邮市广播电视局制播一体网络设计方案

随着现代信息技术和数字电视技术的发展,传统的线性编辑渐渐淡出电视台的制播系统。制定一套完整的全台网络系统．其中包括新闻制作、硬盘播出一体网络和媒体资产管理系统已成为现代广播电视行业的发展趋势。     

基于JZ863模块无线遥控电路的设计

该文以家庭电器和灯光智能化控制等方面的需求为例,介绍一种以JZ863为数据传输模块,基于89C2051单片机设计的无线遥控电路设计方案。与编码电路芯片设计的遥控电路相比,外围电路简单,功耗低,编程容易,可靠性高,扩展功能强。     

校企合作培养计算机专业实践型创新人才

首先,介绍校企合作培养实践性人才的起源;其次,对目前国内高校的办学模式进行分析,并指出该模式的不足;最后,在分析不同的校企合作培养模式基础上,提出采用三方合作的模式,培养计算机专业实践型创新人才,并给出具体的培养和建设方法。     

研究生阶段计算机网络理论课程教改初探

针对计算机专业研究生阶段计算机网络理论课程的教学方法改革进行了研究和探索。首先针对计算机网络学科发展的特点和目前在教学活动中存在的问题进行了归纳和总结,然后基于"三创"教学理念和研究生课程存在的问题,提出调整教学方法:在优化原有授课形式的情况下,引入研讨环节,加强学术交流活动在教学活动中的作用,调整课程设计考评机制,取得了显著的教学效果。