3751 search results - page 228 / 751 » Events in security protocols |
160
click to vote
SAFECOMP
2007
Springer
15 years 12 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
163
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Increasingly pervasive computing throws up scenarios where users may wish to achieve some degree of security in their interaction with other people or equipment, in contexts where...
172
click to vote
EUROCRYPT
1999
Springer
15 years 10 months ago
1999
Springer
Distributed key generation is a main component of threshold cryptosystems and distributed cryptographic computing in general. Solutions to the distributed generation of private key...
175
click to vote
APNOMS
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we propose a new approach to secure and easy-to-use remote access to networked appliances (NAs). Based on the proposed approach, we develop a system in which servers...
184
click to vote
IFIP
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...