1059 search results - page 19 / 212 » Modeling Security Protocols as Games |
MA
2001
Springer
13 years 12 months ago
2001
Springer
Mobile agent security is still a young discipline and most naturally, the focus up to the time of writing was on inventing new cryptographic protocols for securing various aspects ...
PODC
2004
ACM
14 years 29 days ago
2004
ACM
Secure function evaluation (SFE) enables a group of players, by themselves, to evaluate a function on private inputs as securely as if a trusted third party had done it for them. ...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
ACISP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. A security proof in the Bellare
IJISEC
2008
13 years 7 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...