1106 search results - page 169 / 222 » Automated Design of Security Protocols |
SIGCSE
2004
ACM
14 years 3 months ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
IJNSEC
2008
13 years 10 months ago
2008
The protocol design for wireless roaming authentication is challenging because of the key management regarding users and home/visited networks. In this paper, we present two authe...
IMA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
IPTPS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract— P6P is a new, incrementally deployable networking infrastructure that resolves the growing tensions between the Internet routing infrastructure and the end sites of the...