The Unreasonable Ineffectiveness of Security Engineering: An Overview

Dusko Pavlovic

doi:10.1109/SEFM.2010.10

The Unreasonable Ineffectiveness of Security Engineering: An Overview

Dusko Pavlovic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

8 Downloads (Pure)

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.

Original language	English
Title of host publication	2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	12-18
Number of pages	7
ISBN (Print)	978-1-4244-8289-4
DOIs	https://doi.org/10.1109/SEFM.2010.10
Publication status	Published - 13 Sept 2010
Event	8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 - Pisa, Italy Duration: 13 Sept 2010 → 18 Sept 2010 http://www.sefm2010.isti.cnr.it/

Publication series

Name	IEEE International Conference on Software Engineering and Formal Methods
Publisher	IEEE Computer Society
Volume	2010
ISSN (Print)	1551-0255
ISSN (Electronic)	2160-7656

Conference

Conference	8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010
Abbreviated title	SEFM
Country/Territory	Italy
City	Pisa
Period	13/09/10 → 18/09/10
Other	13-18 Sep 2010
Internet address	http://www.sefm2010.isti.cnr.it/

Keywords

SCS-Cybersecurity
Security
Ineffectiveness
Engineering

Access to Document

10.1109/SEFM.2010.10

Cite this

@inproceedings{18c5054f9181419682964dff263e6e35,

title = "The Unreasonable Ineffectiveness of Security Engineering: An Overview",

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 = "SCS-Cybersecurity, Security, Ineffectiveness, Engineering",

author = "Dusko Pavlovic",

note = "10.1109/SEFM.2010.10 ; 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, SEFM ; Conference date: 13-09-2010 Through 18-09-2010",

year = "2010",

month = sep,

day = "13",

doi = "10.1109/SEFM.2010.10",

language = "English",

isbn = "978-1-4244-8289-4",

series = "IEEE International Conference on Software Engineering and Formal Methods",

publisher = "IEEE",

pages = "12--18",

booktitle = "2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)",

address = "United States",

url = "http://www.sefm2010.isti.cnr.it/",

}

Pavlovic, D 2010, The Unreasonable Ineffectiveness of Security Engineering: An Overview. in 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010). IEEE International Conference on Software Engineering and Formal Methods, vol. 2010, IEEE, Piscataway, NJ, pp. 12-18, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13/09/10. https://doi.org/10.1109/SEFM.2010.10

The Unreasonable Ineffectiveness of Security Engineering: An Overview. / Pavlovic, Dusko.
2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010). Piscataway, NJ: IEEE, 2010. p. 12-18 (IEEE International Conference on Software Engineering and Formal Methods; Vol. 2010).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The Unreasonable Ineffectiveness of Security Engineering: An Overview

AU - Pavlovic, Dusko

N1 - 10.1109/SEFM.2010.10

PY - 2010/9/13

Y1 - 2010/9/13

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

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

KW - SCS-Cybersecurity

KW - Security

KW - Ineffectiveness

KW - Engineering

U2 - 10.1109/SEFM.2010.10

DO - 10.1109/SEFM.2010.10

M3 - Conference contribution

SN - 978-1-4244-8289-4

T3 - IEEE International Conference on Software Engineering and Formal Methods

SP - 12

EP - 18

BT - 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)

PB - IEEE

CY - Piscataway, NJ

T2 - 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010

Y2 - 13 September 2010 through 18 September 2010

ER -

The Unreasonable Ineffectiveness of Security Engineering: An Overview

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this