5488 search results - page 75 / 1098 » On the Secure Implementation of Security Protocols |
110
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
149
Voted
TOPLAS
2008
15 years 3 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
138
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We propose a coin-flip protocol which yields a string of strong, random coins and is fully simulatable against poly-sized quantum adversaries on both sides. It can be implemented ...
118
Voted
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
149
click to vote
JNCA
2011
14 years 11 months ago
2011
Distance bounding is often proposed as a countermeasure to relay attacks and distance fraud in RFID proximity identification systems. Although several distance-bounding protocols...