搜索结果: 1-1 共查到“branching-time”相关记录1条 . 查询时间(0.078 秒)
A Cryptographic Model for Branching Time Security Properties – the Case of Contract Signing Protocols
Cryptographic Model Branching Time Security Properties Contract Signing Protocols
2008/8/19
Some cryptographic tasks, such as contract signing and other related tasks, need to ensure complex,branching time security properties. When dening such properties one needs to deal with subtle proble...