13 search results - page 3 / 3 » Mechanized proofs for a recursive authentication protocol |
108
click to vote
FOSAD
2000
Springer
15 years 5 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...
156
Voted
MA
1999
Springer
15 years 6 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...
120
Voted
DIM
2005
ACM
15 years 3 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...