论文部分内容阅读
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
电子资金转帐系统中安全协议的分析
【摘 要】
：
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
【机 构】
：
华南理工大学计算机工程与科学系
【出 处】
：
华南理工大学学报(自然科学版)
【发表日期】
：
1998年1期
其他文献
党的十一届三中全会以来，我国社会科学情报事业有了较大的发展。中国社会科学院和各省市社会科学院相继成立了情报研究所，健全了图书馆和资料工作部门,全国社会科学情报系统正
<正> 华严学是中国佛教的重要思潮,五台山是中国佛教的四大名山之首,被称为文殊师利菩萨①的道场。华严学因五台山而获得更广泛的流传,五台山因华严学而更著名于世。这篇短文
暑去寒来的低温环境条件下车辆的使用．其特点是：环境气温低、发动机起动困难，机油粘度增大，冰雪泥泞路面多，车辆起步阻力大，组成车辆的材料物理机械性能发生变化，因此应注意：
1985年11月在武昌召开的社会科学情报理沧讨论会期间．本刊编辑部召开了由部分编委、通讯员和积极分子参加的座谈会，近四十位同志就进一步办好《情报资料工作》杂志提出了很多宝
本文提出了控制回路中含有时滞的多时滞中立型非线性大型控制系统的分散变结构控制器的设计问题，在某些确定的条件下，分别讨论了控制系统的一些设计方法，根据趋近率的概念和方法
学校图书资料情报工作培训班已于今年4月1日开学。这个培训班是根据1985年10月月重庆召开的全国党校图书资料情报工作座谈会的建议，经中共中央党校校委批准，由中央党校与北京市
印度是亚太地区社科情报文献工作成绩突出的国家，它最活跃的机构是1970年由印度社科研究理事会在首都新德里设立的国家社科文献中心。该中心的任务是；建立有特色的藏书体系；建立
近年来，拥有私家车的市民越来越多，与此同时，车辆火灾也在持续上升。其中汽车自燃事故占有相当大的比例，它直接危及人类的生命安全和财产损失，为此本文就对汽车自燃的原因及对策进
以一种植物胶与喹啉和吖啶进行反应,试制得具有缓蚀-杀菌功能的阳离子型水处理剂FQ-C、FA-C.这类聚氮杂环季铵盐因含π电子,一方面能在铁表面引起π电子吸附,形成化学吸附膜,