机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:多机构网络中协作的正式安全模型
机译:人类服务非营利组织之间的合作:映射正式和非正式的交流网络。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:从无线传感器网络到无线体积网络:使用PAT的正式建模和验证安全
机译:协作建模可信多机构环境。