DocumentCode
3117704
Title
The Unreasonable Ineffectiveness of Security Engineering: An Overview
Author
Pavlovic, Dusko
Author_Institution
Kestrel Inst., Oxford Univ., Oxford, UK
fYear
2010
fDate
13-18 Sept. 2010
Firstpage
12
Lastpage
18
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location
Pisa
Print_ISBN
978-1-4244-8289-4
Type
conf
DOI
10.1109/SEFM.2010.10
Filename
5637401
Link To Document