119 search results - page 6 / 24 » Formal Methods for Assuring Security of Protocols |
152
Voted
ACSW
2006
15 years 5 months ago
2006
To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment p...
119
Voted
ITRUST
2004
Springer
15 years 9 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
111
Voted
ECBS
2008
IEEE
15 years 10 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
145
Voted
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
225
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...