机译:用于网络协议的整体安全性设计和验证的正式方法
Crupo de Neurocomputacion Bioldgica, Departamento de Ingenieria Informatica, Escuela Politecnica Superior, Universidad Autdnoma de Madrid, Spain;
Crupo de Neurocomputacion Bioldgica, Departamento de Ingenieria Informatica, Escuela Politecnica Superior, Universidad Autdnoma de Madrid, Spain;
Crupo de Neurocomputacion Bioldgica, Departamento de Ingenieria Informatica, Escuela Politecnica Superior, Universidad Autdnoma de Madrid, Spain;
Secure development methodology; Formal model; Protocols security; Formal verification; WEP analysis;
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:正式验证:安全协议设计中的必要步骤
机译:NeMHIP的设计和正式安全评估:基于主机身份协议的新的安全高效的网络移动性管理协议
机译:Ad Hoc无线网络的路由协议的形式验证的方法
机译:分支网络上参数化协议的形式验证。
机译:设计和部署可靠的无线传感器网络的正式方法论
机译:整体安全设计和验证的正式方法 网络协议
机译:多agent环境下验证通信协议的形式化方法和技术