Tools for traceable security verification

Jan Juerjens; Yijun Yu; Andreas Bauer

Tools for traceable security verification

Jan Juerjens, Yijun Yu, Andreas Bauer

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

Original language	English
Title of host publication	Proceedings of The BCS International Academic Visions of Computer Science Conference 2008
Editors	E. Gelenbe, S. Abramsky, V. Sassone
Place of Publication	UK
Publisher	Oxford University Press
Pages	367-378
Edition	Peer Reviewed
ISBN (Print)	1477-9358
Publication status	Published - 2008
Event	BCS International Academic Visions of Computer Science Conference 2008 - Swindon UK Duration: 1 Jan 2008 → … http://www.bcs.org/upload/pdf/ewic_vs08_s10paper1.pdf

Conference

Conference	BCS International Academic Visions of Computer Science Conference 2008
Period	1/01/08 → …
Other	September 22-24 2008
Internet address	http://www.bcs.org/upload/pdf/ewic_vs08_s10paper1.pdf

Cite this

@inproceedings{19ac5f6580ed4b7bb4ba43ef2afb588d,

title = "Tools for traceable security verification",

author = "Jan Juerjens and Yijun Yu and Andreas Bauer",

year = "2008",

language = "English",

isbn = "1477-9358",

pages = "367--378",

editor = "{E. Gelenbe, S. Abramsky, V. Sassone}",

booktitle = "Proceedings of The BCS International Academic Visions of Computer Science Conference 2008",

publisher = "Oxford University Press ",

address = "United Kingdom",

edition = "Peer Reviewed",

note = "BCS International Academic Visions of Computer Science Conference 2008 ; Conference date: 01-01-2008",

url = "http://www.bcs.org/upload/pdf/ewic_vs08_s10paper1.pdf",

}

Tools for traceable security verification. / Juerjens, Jan; Yu, Yijun; Bauer, Andreas.
Proceedings of The BCS International Academic Visions of Computer Science Conference 2008. ed. / E. Gelenbe, S. Abramsky, V. Sassone. Peer Reviewed. ed. UK: Oxford University Press , 2008. p. 367-378.

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

TY - GEN

T1 - Tools for traceable security verification

AU - Juerjens, Jan

AU - Yu, Yijun

AU - Bauer, Andreas

PY - 2008

Y1 - 2008

M3 - Conference Paper

SN - 1477-9358

SP - 367

EP - 378

BT - Proceedings of The BCS International Academic Visions of Computer Science Conference 2008

A2 - null, E. Gelenbe, S. Abramsky, V. Sassone

PB - Oxford University Press

CY - UK

T2 - BCS International Academic Visions of Computer Science Conference 2008

Y2 - 1 January 2008

ER -