3115 search results - page 68 / 623 » Synthesizing Secure Protocols |
ACISP
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. A security proof in the Bellare
ADHOCNOW
2008
Springer
14 years 4 months ago
2008
Springer
The development of Wireless Body Area Networks (WBANs) for wireless sensing and monitoring of a person’s vital functions, is an enabler in providing better personal health care w...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Many of the routing protocols that have been designed for wireless ad-hoc networks focus on energy-efficiency and guaranteeing high throughput in a non-adversarial setting. Howev...
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
JALC
2006
13 years 10 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...