5843 search results - page 53 / 1169 » Software Security in Practice |
INDOCRYPT
2009
Springer
14 years 3 months ago
2009
Springer
Wireless sensor network (WSN) commonly requires lower level security for public information gathering, whilst body sensor network (BSN) must be secured with strong authenticity to...
CCS
2003
ACM
14 years 2 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
ICN
2005
Springer
14 years 2 months ago
2005
Springer
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...
ADVIS
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, a practical and secure e-mail system (called “PractiSES”) that performs public key distribution and management in a unique way is proposed. PractiSES is a networ...