5488 search results - page 184 / 1098 » On the Secure Implementation of Security Protocols |
120
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Text documents, in electronic and hardcopy forms, are and will probably remain the most widely used kind of content in our digital age. The goal of this paper is to overview proto...
163
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
132
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...
165
click to vote
PERCOM
2003
ACM
16 years 4 months ago
2003
ACM
In pervasive computing environments, powerful handheld devices with wireless connections create opportunities for many new nomadic applications. We propose a new service discovery...
141
click to vote
CIA
2001
Springer
15 years 9 months ago
2001
Springer
In recent years auctions have become more and more important in the field of multiagent systems as useful mechanisms for resource allocation, task assignment and last but not leas...