Sciweavers

Share
ACISP
2006
Springer

Towards Provable Security for Ubiquitous Applications

10 years 8 months ago
Towards Provable Security for Ubiquitous Applications
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has triggered several new research areas. Mobile ad hoc networks (MANET), sensor networks and radio frequency identification (RFID) systems are all examples of such pervasive systems. Operating on an open medium and lacking a fixed infrastructure, these systems suffer from critical security vulnerabilities for which few satisfactory current solutions exist, particularly with respect to availability and denialof-service. In addition, most of the extant knowledge in network security and cryptography cannot be readily transferred to the newer settings which involve weaker devices and less structured networks. In this paper we investigate the security of pervasive systems and focus on availability issues in malicious environments. We articulate a formal security framework that is tuned for the analysis of protocols for c...
Mike Burmester, Tri Van Le, Breno de Medeiros
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where ACISP
Authors Mike Burmester, Tri Van Le, Breno de Medeiros
Comments (0)
books