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...

• Type: Conference
• Year: 2006
• Where: ACISP
• Authors: Mike Burmester, Tri Van Le, Breno de Medeiros
• Keywords: ACISP 2006, Mobile Ad Hoc Networks, Pervasive Systems, Security, Security Privacy