61 search results - page 13 / 13 » ac 2010 |
141
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...