Title :
The Unreasonable Ineffectiveness of Security Engineering: An Overview
Author_Institution :
Kestrel Inst., Oxford Univ., Oxford, UK
Abstract :
In his 1960 essay, Eugene Wigner raised the question of ”the unreasonable effectiveness of mathematics in natural sciences”. After several decades of security research, we are tempted to ask the opposite question: Are we not unreasonably ineffective? Why are we not more secure from all the security technologies? I sketch a conceptual landscape of security that may provide some answers, on the background of ever increasing dynamics and pervasiveness of software and computation.
Keywords :
formal verification; security of data; ubiquitous computing; conceptual security landscape; pervasive computation; pervasive software; security engineering; security technology; Cognition; Computers; Cryptography; Programming; Protocols; Software; formal methods; networks; pervasive computation; security;
Conference_Titel :
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location :
Pisa
Print_ISBN :
978-1-4244-8289-4
DOI :
10.1109/SEFM.2010.10
