Safety and Security Analysis of Object-Oriented Models

K Lano; D Clark; K Androutsopolous

doi:10.1007/3-540-45732-1_10

Safety and Security Analysis of Object-Oriented Models

K Lano, D Clark, K Androutsopolous

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

17 Citations (Scopus)

Abstract

We review existing approaches for the safety and security analysis of object-oriented software designs, and identify ways in which these approaches can be improved and made more rigorous.

Original language	English
Title of host publication	Computer Safety, Reliability and Security
Subtitle of host publication	21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings
Editors	Stuart Anderson, Sandro Bologna, Massimo Felici
Place of Publication	Berlin and New York
Publisher	Springer Berlin Heidelberg
Pages	82-93
Number of pages	12
Volume	N/A
Edition	N/A
ISBN (Print)	9783540441571
DOIs	https://doi.org/10.1007/3-540-45732-1_10
Publication status	Published - 2002
Event	SAFECOMP 2002: 21st International Conference on Computer Safety, Reliability & Security - Catania, Italy Duration: 10 Sept 2002 → 13 Sept 2002

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	2434
ISSN (Print)	0302-9743

Conference

Conference	SAFECOMP 2002: 21st International Conference on Computer Safety, Reliability & Security
Country/Territory	Italy
City	Catania
Period	10/09/2002 → 13/09/2002

Access to Document

10.1007/3-540-45732-1_10

Cite this

Lano, K., Clark, D., & Androutsopolous, K. (2002). Safety and Security Analysis of Object-Oriented Models. In S. Anderson, S. Bologna, & M. Felici (Eds.), Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings (N/A ed., Vol. N/A, pp. 82-93). (Lecture Notes in Computer Science; Vol. 2434). Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45732-1_10

Lano, K ; Clark, D ; Androutsopolous, K. / Safety and Security Analysis of Object-Oriented Models. Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings. editor / Stuart Anderson ; Sandro Bologna ; Massimo Felici. Vol. N/A N/A. ed. Berlin and New York : Springer Berlin Heidelberg, 2002. pp. 82-93 (Lecture Notes in Computer Science).

@inbook{94740a29850449eea9b0aaae2ec96003,

title = "Safety and Security Analysis of Object-Oriented Models",

abstract = "We review existing approaches for the safety and security analysis of object-oriented software designs, and identify ways in which these approaches can be improved and made more rigorous.",

author = "K Lano and D Clark and K Androutsopolous",

year = "2002",

doi = "10.1007/3-540-45732-1_10",

language = "English",

isbn = "9783540441571",

volume = "N/A",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "82--93",

editor = "Stuart Anderson and Bologna, {Sandro } and Massimo Felici",

booktitle = "Computer Safety, Reliability and Security",

edition = "N/A",

note = "SAFECOMP 2002: 21st International Conference on Computer Safety, Reliability & Security ; Conference date: 10-09-2002 Through 13-09-2002",

}

Lano, K , Clark, D & Androutsopolous, K 2002, Safety and Security Analysis of Object-Oriented Models. in S Anderson, S Bologna & M Felici (eds), Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings. N/A edn, vol. N/A, Lecture Notes in Computer Science, vol. 2434, Springer Berlin Heidelberg, Berlin and New York, pp. 82-93, SAFECOMP 2002: 21st International Conference on Computer Safety, Reliability & Security, Catania, Italy, 10/09/2002. https://doi.org/10.1007/3-540-45732-1_10

Safety and Security Analysis of Object-Oriented Models. / Lano, K ; Clark, D; Androutsopolous, K.
Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings. ed. / Stuart Anderson; Sandro Bologna; Massimo Felici. Vol. N/A N/A. ed. Berlin and New York: Springer Berlin Heidelberg, 2002. p. 82-93 (Lecture Notes in Computer Science; Vol. 2434).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

TY - CHAP

T1 - Safety and Security Analysis of Object-Oriented Models

AU - Lano, K

AU - Clark, D

AU - Androutsopolous, K

PY - 2002

Y1 - 2002

N2 - We review existing approaches for the safety and security analysis of object-oriented software designs, and identify ways in which these approaches can be improved and made more rigorous.

AB - We review existing approaches for the safety and security analysis of object-oriented software designs, and identify ways in which these approaches can be improved and made more rigorous.

U2 - 10.1007/3-540-45732-1_10

DO - 10.1007/3-540-45732-1_10

M3 - Conference paper

SN - 9783540441571

VL - N/A

T3 - Lecture Notes in Computer Science

SP - 82

EP - 93

BT - Computer Safety, Reliability and Security

A2 - Anderson, Stuart

A2 - Bologna, Sandro

A2 - Felici, Massimo

PB - Springer Berlin Heidelberg

CY - Berlin and New York

T2 - SAFECOMP 2002: 21st International Conference on Computer Safety, Reliability & Security

Y2 - 10 September 2002 through 13 September 2002

ER -

Lano K , Clark D, Androutsopolous K. Safety and Security Analysis of Object-Oriented Models. In Anderson S, Bologna S, Felici M, editors, Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings. N/A ed. Vol. N/A. Berlin and New York: Springer Berlin Heidelberg. 2002. p. 82-93. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45732-1_10

Safety and Security Analysis of Object-Oriented Models

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this