718 search results - page 41 / 144 » Operational Semantics of Security Protocols |
ESORICS
2003
Springer
14 years 1 months ago
2003
Springer
Recently, David Chaum proposed an electronic voting scheme that combines visual cryptography and digital processing. It was designed to meet not only mathematical security standard...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
In both commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information to the concerned actors. Traditional approaches to informa...
IPSN
2007
Springer
14 years 2 months ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
FC
2007
Springer
14 years 2 months ago
2007
Springer
While transparency in financial markets should enhance liquidity, its exploitation by unethical and parasitic traders discourages others from fully embracing disclosure of their o...