论文部分内容阅读
讨论了局域网的安全性,给出了针对这类系统的密钥管理协议,并用信任逻辑进行了形式分析。
Discusses the security of local area network, gives the key management protocol for such systems, and uses the logic of trust to conduct formal analysis.