263 search results - page 19 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
ACSC
2007
IEEE
14 years 1 months ago
2007
IEEE
Publish/subscribe networks provide an interface for publishers to perform many-to-many communication to subscribers without the inefficiencies of broadcasting. Each subscriber sub...
IWNAS
2008
IEEE
14 years 1 months ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
ISCC
2003
IEEE
14 years 23 days ago
2003
IEEE
Sensor networks have recently gained popularity for a wide spectrum of applications. When performing monitoring tasks in hostile environments, security requirements become critical...
COMPSEC
2008
13 years 7 months ago
2008
Short Message Service is usually used to transport unclassified information, but with the rise of mobile commerce it has become an integral tool for conducting business. However S...
COLCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...