Strand空间中基于安全密钥概念的证明思路

提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。

美国国土安全部科学技术局与国土安全先进研究计划署项目管理创新及启示

当前,科学技术在国家安全体系中的战略地位显著提升,科技发展与安全已从国家安全的间接因素上升为国家安全体系的基本构成领域之一。“9·11”恐怖袭击事件推动美国调整安全战略并成立国土安全部专门负责国内安全、应急事务处置及防止恐怖活动。首先概述美国近期国土安全科学与技术战略,然后基于这一使命定位,以美国国土安全部科学技术局及其下设的国土安全先进研究计划署为例,对其组织结构、运营管理模式、立项管理流程、绩效评估模式和成果转化等管理创新进行了总结和分析。作为国土安全技术领域科技计划的项目管理机构,美国国土安全部科学技术局引入矩阵式管理结构并调整下属部门职权以提高沟通和决策效率,采用集成产品团队方法统筹协调确定研发计划优先级并据此选择资助方式和合作模式,同时采取主动的内外部项目管理监测和评估模式开展项目绩效评估,最终形成集研发、转化、服务、资本于一体的科技成果转化模式。基于美国国土安全部科学技术局项目管理创新的经验,提出进一步完善我国安全科技活动管理的对策建议。