Department of Computer Science and Engineering Florida Atlantic University Boca Raton, Florida, USA;
Communication Protocol Security Analysis; Physical Access Control Protocol; UPACS Formal Verification;
机译:基于扩展加权推动系统的信息基访问控制子集的正式验证
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:用于测试和验证网络物理系统的正式要求调试
机译:通用物理访问控制系统的正式验证(UPACS)
机译:通用物理访问控制系统(UPACS)。
机译:网络物理系统中控制模块的正式验证
机译:基于扩展加权下推系统的基于信息的访问控制子集的形式验证