461 search results - page 22 / 93 » Developing security protocols by refinement |
IANDC
2008
13 years 6 months ago
2008
We show how to design secure authentication protocols for a non-standard class of scenarios. In these authentication is not bootstrapped from a PKI, shared secrets or trusted thir...
ACMICEC
2008
ACM
13 years 9 months ago
2008
ACM
Electronic Payments have gained tremendous popularity in the modern world. Credit/debit cards and online payments are in widespread use. Bringing electronic payments to the mobile...
NDSS
2000
IEEE
14 years 4 days ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
DAGSTUHL
2007
13 years 9 months ago
2007
Major hardware and software vendors are curious about transactional memory (TM), but are understandably cautious about committing to hardware changes. Our thesis is that deconstru...