安全、认证、协议的关键词

[ftai08]

认证协议、协议验证、协议测试、协议与自动机、协议与状态、协议与语言、动态协议与单向函数、协议规则的自调整、协议自生成、协议抽象、协议的外围模拟、协议的完整性、协议包ＰＡＣＫＡＧＥ(ＡＤＡ、ＶＨＤＬ)机制、协议框架（ＦＲＡＭＥＷＯＲＫ__ＶＨＤＬ）、

逻辑：设计逻辑、验证逻辑、广泛使用的逻辑与扩展的逻辑、公理、体系、混合逻辑、逻辑表示形式、逻辑运算____借鉴ＢＯＯＬ逻辑衍生的复杂体系、借鉴其它学科的形式逻辑、逻辑的必须且只须、安全性逻辑、安全性证明逻辑、

可证明安全、可控制安全、可“观察”安全、可比较安全、可裁剪安全（？）、可度量安全、置信度安全、安全性传播（时间、空间、演化、进化）、各类完整性、完整性估算、完整性评价、安全性的集合理论分析、

攻击者、窃听者、篡改者、认证体制或协议设计假设、假设合理性、面向领域和应用的假设、

被动攻击、主动攻击

攻击评价

加密、解密、秘密共享、密钥管理、密钥分发、密钥更改、组合密钥、加解密顺序、加密算法、破解难度、

认证：鉴别、拥有什么（ＩＤ）、ＩＤ的自生成、ＩＤ的演化、知道什么（约定）、能干什么（任务与分解）、专有过程、零知识证明、“人脸认证”与问题求解、一类认证（拥有产生式规则；随机程序语言片断是否符合语言规则；相对虚拟空间传感器的运动；博弈规则）与单向函数重要性、

－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－

可证明安全：采用某种适合于安全性要素的完备的逻辑公理体系

可控制安全，可“观察”安全：至少是，设计付诸实施后的安全，脱离设计应用者的控制。理论上的安全，不能代表实践中的安全。

可比较安全：安全需要纵向的比较，也需要横向的比较，以决定安全策略。

可度量安全、置信度安全：不一定是安全性三要素，还会有更深入的、更精确的要素，这些要素的实现，需要量化。量化需要可信的方法。

可裁剪安全：如操作系统，安全性是分等级，没有必要在不必要的场合使用过高的安全性策略和技术。

安全性传播：体系结构的不同层之间的安全性的关系；过去的安全性系统在打安全性补丁时会怎样；

不同子系统之间的安全性的相互关联。