54 search results - page 11 / 11 » Improving Automatic Verification of Security Protocols with ... |
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
WS
2004
ACM
13 years 10 months ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
ICDE
2007
IEEE
13 years 11 months ago
2007
IEEE
Information dissemination in electronic form has improved drastically over the past few years. New technologies in web feeds allow the uses to get notified automatically when new...
NDSS
2005
IEEE
13 years 10 months ago
2005
IEEE
Worms are arguably the most serious security threat facing the Internet. Seeking a detection technique that is both sufficiently efficient and accurate to enable automatic conta...