3504 search results - page 508 / 701 » Secure protocol composition |
CISC
2005
Springer
15 years 7 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
102
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
108
click to vote
ISI
2005
Springer
15 years 7 months ago
2005
Springer
This paper introduces a new approach to a problem of data sharing among multiple parties, without disclosing the data between the parties. Our focus is data sharing among two parti...
110
click to vote
WPES
2004
ACM
15 years 7 months ago
2004
ACM
The growing popularity of inexpensive, portable recording devices, such as cellular phone cameras and compact digital audio recorders, presents a significant new threat to privac...
108
click to vote
EUROPKI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. At present, network users have to manage a set of authentication credentials (usually a username/password pair) for every service with which they are registered. Single S...