526 search results - page 26 / 106 » A Z Based Approach to Verifying Security Protocols |
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
SRDS
2007
IEEE
14 years 1 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we propose a new approach to secure and easy-to-use remote access to networked appliances (NAs). Based on the proposed approach, we develop a system in which servers...
ACMICEC
2004
ACM
14 years 29 days ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...