搜索结果: 1-1 共查到“军事学 timed logic”相关记录1条 . 查询时间(0.109 秒)
A Timed Logic for Modeling and Reasoning about Security Protocols
timed logic security protocols formal method
font style='font-size:12px;'>
2010/12/22
Many logical methods are usually considered suitable to express the static properties of security protocols while unsuitable to model dynamic processes or properties. However, a security protocol itse...