Security engineering based on structured formal reasoning

Andreas Fuchs; Carsten Rudolph

doi:10.1109/BioMedCom.2012.30

Security engineering based on structured formal reasoning

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

Original language	English
Title of host publication	Proceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012)
Place of Publication	Piscataway NJ USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	145 - 152
Number of pages	8
Volume	2013
ISBN (Print)	9780769549385
DOIs	https://doi.org/10.1109/BioMedCom.2012.30
Publication status	Published - 2013
Externally published	Yes
Event	ASE International Conference on Biomedical Computing (BioMedCom) 2013 - Washington, United States of America Duration: 8 Sept 2013 → 14 Sept 2013

Conference

Conference	ASE International Conference on Biomedical Computing (BioMedCom) 2013
Abbreviated title	BioMedCom 2013
Country/Territory	United States of America
City	Washington
Period	8/09/13 → 14/09/13

Access to Document

10.1109/BioMedCom.2012.30

Cite this

@inproceedings{8a3c512f66ae4390baa007c24461c201,

title = "Security engineering based on structured formal reasoning",

author = "Andreas Fuchs and Carsten Rudolph",

year = "2013",

doi = "10.1109/BioMedCom.2012.30",

language = "English",

isbn = "9780769549385",

volume = "2013",

pages = "145 -- 152",

booktitle = "Proceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012)",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States of America",

note = "ASE International Conference on Biomedical Computing (BioMedCom) 2013, BioMedCom 2013 ; Conference date: 08-09-2013 Through 14-09-2013",

}

Fuchs, A & Rudolph, C 2013, Security engineering based on structured formal reasoning. in Proceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012). vol. 2013, IEEE, Institute of Electrical and Electronics Engineers, Piscataway NJ USA, pp. 145 - 152, ASE International Conference on Biomedical Computing (BioMedCom) 2013, Washington, District of Columbia, United States of America, 8/09/13. https://doi.org/10.1109/BioMedCom.2012.30

Security engineering based on structured formal reasoning. / Fuchs, Andreas; Rudolph, Carsten.
Proceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012). Vol. 2013 Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, 2013. p. 145 - 152.

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

TY - GEN

T1 - Security engineering based on structured formal reasoning

AU - Fuchs, Andreas

AU - Rudolph, Carsten

PY - 2013

Y1 - 2013

UR - http://ieeexplore.ieee.org.ezproxy.lib.monash.edu.au/stamp/stamp.jsp?tp=&arnumber=6516443

U2 - 10.1109/BioMedCom.2012.30

DO - 10.1109/BioMedCom.2012.30

M3 - Conference Paper

SN - 9780769549385

VL - 2013

SP - 145

EP - 152

BT - Proceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012)

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Piscataway NJ USA

T2 - ASE International Conference on Biomedical Computing (BioMedCom) 2013

Y2 - 8 September 2013 through 14 September 2013

ER -

Security engineering based on structured formal reasoning

Conference

Access to Document

Other files and links

Cite this