26 search results - page 6 / 6 » A Logical Model for Commitment and Argument Network for Agen... |
FSTTCS
2003
Springer
13 years 10 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...