5488 search results - page 75 / 1098 » On the Secure Implementation of Security Protocols |
CCS
2004
ACM
15 years 5 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 ...
108
click to vote
TOPLAS
2008
14 years 11 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...
CORR
2011
Springer
14 years 6 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 ...
ICSM
2008
IEEE
15 years 6 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...
114
click to vote
JNCA
2011
14 years 6 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...