13 search results - page 3 / 3 » Mechanized proofs for a recursive authentication protocol |
FOSAD
2000
Springer
13 years 9 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
MA
1999
Springer
13 years 10 months ago
1999
Springer
Many real-world tasks can be decomposed into pipelines of sequential operations (where subtasks may themselves be composed of one or more pipelines). JGram is a framework enabling...
DIM
2005
ACM
13 years 7 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...