基于程序设计语言的安全模型

安全模型是系统安全规范、设计和验证的依据,是系统安全高效实现的保障,是信息安全理论与应用中的重要课题。本文首先系统地简述了安全模型的发展与现状,分析安全模型研究面临的困难,讨论其发展趋势。在此基础上对当前安全模型中的前沿课题提出一种分类,称为基于程序设计语言的安全模型。进而,讨论基于程序设计语言的安全模型的研究目标,并讨论了该研究领域中的主要研究进展。最后,指出基于程序设计语言的安全模型的理论优势,及其研究中亟待解决的若干问题。     

基于手机的电子货币系统

介绍了当前电子货币系统的大致框架，对电子货币系统的3个主要参与方以及5个主要过程作了简要说明，然后提出了一个在手机上实现的基于防篡改硬件的电子货币系统，最后对其安全性作了分析并进行了总结。     

无线传感器网络及其安全问题

文章认为随着无线通信技术和电子器件技术的快速发展,低成本、低功耗、多功能的无线传感器的开发和广泛应用成为可能,但在大多数应用环境中用户对无限传感器网络的安全能力有很高的要求,因此安全成为制约无限传感器网络广泛应用的关键.为此文章探讨了无线传感器网络协议栈各层所面临的安全问题,对解决这些安全问题的关键技术进行了讨论.     

基于线性变换构造弱盲签名方案

该文在广义ElGamal签名方案的基础上,基于一元线性变换构造一些新的弱盲签名方案,并对这些方案进行了检验和分析。     

可移动系统安全模型统一框架

本文的主要工作是利用可移动进程的形式化模型π演算为工具,考虑系统的移动性(Mobility),将系统安全属性的刻画归结为特定系统进程等价的验证,提出一种新的安全模型框架.在此框架下,可以方便表示不同的不干涉安全属性,并对其进行强弱对比;针对不同安全需求,可定义新的安全属性.并且,该框架建立一个新的安全属性研究的平台,可广泛地适用于具有移动进程的分布式系统的安全分析.     

菲律宾联成搪瓷厂参观记

菲律宾联成搪瓷厂,为菲籍华人经营。全厂有职工344人,其中管理人员仅10人,主要产品为杯、盘、壶及卫生设备。以重油作燃料,日耗油3100立升,产量达5万余件。每年使用搪瓷薄板2800多吨,人均年耗8.72吨,一九八四年总产值为4800百万比索,折合美元266万余元。该厂人员配备紧凑,经济效益高,尤其是多层搪烧窑值得我们借鉴。     

电子选举研究的挑战和进展

电子选举是密码研究领域中一个非常有挑战性的问题，它满足广泛的安全要求，逐步取代传统的选举形式。现有的安全电子选举方案在计算效率、可信第3方的使用、防止买卖选票和胁迫投票，以及允许的选票形式等方面存在着改进的空间。该文在对电子选举方案的安全要求、协议模型和选票形式进行分析归纳的基础上，提出了电子选举研究面临的4个挑战，阐述了视觉密码选举、自计票选举、矢量选举和可分选举等最新的电子选举方案在这些方面获得的进展。     

商业银行综合前置系统的设计与实现

中间业务是商业银行新的经济增长点，该文提出了面向商业银行中间业务的综合前置系统的设计方案，并分析了系统的结构、功能及安全体系。按照这一设计，在某商业银行实施了一套综合前置系统。综合前置系统既能兼容银行原有已开办的中间业务，又能满足将来业务发展的需要，为商业银行增强市场竞争力提供了强有力的支撑。     

隐写分析算法的模糊综合评估

隐写术和隐写分析技术是信息对抗的重要内容。目前，已经有许多隐写分析算法，但这些算法特点各异，在实际应用时，难以取舍。为此，提出了隐写分析算法的模糊综合评估算法，来实现对各种隐写分析算法的性能评估和比较。该评估算法不仅可以用于从已知隐写分析算法中选择出最优算法，也适合对新的隐写分析算法进行性能评估。