...
机译:基于Petri基于网络安全协议实施的验证软件演变
Graduate School of Science and Engineering Yamaguchi University Ube Yamaguchi Pref;
Graduate School of Science and Engineering Yamaguchi University Ube Yamaguchi Pref;
Department of Computer Engineering National Institute of Technology Kurukshetra Kurukshetra;
software evolution; reverse engineering; security protocol; Petri net; behavioural inheritance;
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:基于模型的协议实施安全验证
机译:正式验证安全协议的实现:一项调查
机译:用Petri网的协议继承验证安全规范的实现
机译:验证传感器网络安全协议的实现。
机译:Pepn-Grn:一种基于PETRI网络的基因净途径从嘈杂的基因表达数据推动基因监管网络
机译:语用学注释用于协议软件生成和验证的彩色petri网
机译:使用软件安全性分析来验证安全套接字层(ssL)协议