4 search results - page 1 / 1 » Trust Management in Strand Spaces: A Rely-Guarantee Method |
103
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
101
Voted
FOSAD
2000
Springer
15 years 4 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...
103
Voted
TGC
2005
Springer
15 years 6 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
101
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...