461 search results - page 47 / 93 » Developing security protocols by refinement |
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
CSREAESA
2006
13 years 9 months ago
2006
: The explosive growth of internet traffic and the increasing complexity of the functions performed by network nodes have given rise to a new breed of programmable micro-processors...
LCN
2007
IEEE
14 years 2 months ago
2007
IEEE
—Vehicular networks face a typical quandary in their requirement for communications that are at once secure and private. While the messages broadcast between vehicles and between...
HOST
2009
IEEE
14 years 2 months ago
2009
IEEE
—EDA vendors have proposed a standard for the sharing of IP among vendors to be used in the design and development of IP for FPGAs. Although, we do not propose any attacks, we sh...