...
机译:基于定时自动机的定时安全协议模型检查
Institute of Mathematics and Computer Science, Jan Dlugosz University Armii Krajowej 13/15, 42-200 Czestochowa, Poland;
Institute of Computer Science, Polish Academy of Sciences Ordona 21, 01-237 Warsaw, Poland Institute of Informatics, Podlasie Academy Sienkiewicza 51, 08-110 Siedlce, Poland;
timed security protocols; model checking; authentication;
机译:建模和检查安全协议的定时身份验证
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:检查MITL公式的模型在定时自动机上:基于逻辑的方法
机译:安全协议的定时模型检查
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:心律对心房组织结构重塑的认识:定时自动机方法
机译:安全协议的定时模型检查