3115 search results - page 193 / 623 » Synthesizing Secure Protocols |
210
click to vote
TITB
2010
15 years 1 months ago
2010
A Body Area Network (BAN) is a wireless network of health monitoring sensors designed to deliver personalized health-care. Securing inter-sensor communications within BANs is essen...
145
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
Recently, Juels and Weis defined strong privacy for RFID tags. We add to this definition a completeness and a soundness requirement, i.e., a reader should accept valid tags and onl...
177
click to vote
SRDS
2007
IEEE
16 years 25 days ago
2007
IEEE
The increasing complexity and dynamics of grid environments have posed great challenges for secure and privacy-preserving collaboration in a virtual organization. In this paper, w...
169
click to vote
SAFECOMP
2007
Springer
16 years 20 days 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...
177
click to vote
SAC
2006
ACM
16 years 15 days 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...