Security engineering based on structured formal reasoning

Andreas Fuchs, Carsten Rudolph

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012)
Place of PublicationPiscataway NJ USA
PublisherIEEE, Institute of Electrical and Electronics Engineers
Pages145 - 152
Number of pages8
Volume2013
ISBN (Print)9780769549385
DOIs
Publication statusPublished - 2013
Externally publishedYes
EventASE International Conference on Biomedical Computing (BioMedCom) 2013 - Washington, United States of America
Duration: 8 Sep 201314 Sep 2013

Conference

ConferenceASE International Conference on Biomedical Computing (BioMedCom) 2013
Abbreviated titleBioMedCom 2013
CountryUnited States of America
CityWashington
Period8/09/1314/09/13

Cite this

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, pp. 145 - 152). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/BioMedCom.2012.30
Fuchs, Andreas ; Rudolph, Carsten. / Security engineering based on structured formal reasoning. Proceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012). Vol. 2013 Piscataway NJ USA : IEEE, Institute of Electrical and Electronics Engineers, 2013. pp. 145 - 152
@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",

}

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, 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 proceedingConference PaperResearchpeer-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

ER -

Fuchs A, Rudolph C. Security engineering based on structured formal reasoning. In 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 https://doi.org/10.1109/BioMedCom.2012.30