Dynamic Measurement and Protected Execution: Model and Analysis

Shiwei Xu; Ian Batten; Mark Ryan

doi:10.1007/978-3-319-05119-2_4

Dynamic Measurement and Protected Execution: Model and Analysis

Shiwei Xu
, Ian Batten
, Mark Ryan

Computer Science

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

1 Citation (Scopus)

Original language	English
Title of host publication	Trustworthy Global Computing
Subtitle of host publication	8th International Symposium TGC 2013; Buenos Aires; Argentina; 30-31 August, Revised Selected Papers
Editors	Martin Abadi, Alberto Lluch Lafuente
Publisher	Springer
Pages	45-63
Volume	8358 LNCS
ISBN (Electronic)	9783319051192
ISBN (Print)	9783319051185
DOIs	https://doi.org/10.1007/978-3-319-05119-2_4
Publication status	Published - 8 Mar 2014
Event	8th International Symposium on Trustworthy Global Computing, TGC 2013 - Buenos Aires, Argentina Duration: 30 Aug 2013 → 31 Aug 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8358
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Symposium on Trustworthy Global Computing, TGC 2013
Country/Territory	Argentina
City	Buenos Aires
Period	30/08/13 → 31/08/13

Access to Document

10.1007/978-3-319-05119-2_4

http://link.springer.com/10.1007/978-3-319-05119-2_4

TSB - Trust Domains: A Framework for Modelling and Designing E-Service Infrastructures for Controlled Information Sharing.
Ryan, M. (Principal Investigator)
Engineering & Physical Science Research Council
18/07/11 → 17/07/14
Project: Research Councils
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Ryan, M. (Principal Investigator)
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
Project: Research Councils

Cite this

Xu, S., Batten, I., & Ryan, M. (2014). Dynamic Measurement and Protected Execution: Model and Analysis. In M. Abadi, & A. L. Lafuente (Eds.), Trustworthy Global Computing: 8th International Symposium TGC 2013; Buenos Aires; Argentina; 30-31 August, Revised Selected Papers (Vol. 8358 LNCS, pp. 45-63). Article Chapter 4 (Lecture Notes in Computer Science; Vol. 8358). Springer. https://doi.org/10.1007/978-3-319-05119-2_4

@inproceedings{dfad367578014ef1accebeb2fcb05882,

title = "Dynamic Measurement and Protected Execution: Model and Analysis",

author = "Shiwei Xu and Ian Batten and Mark Ryan",

year = "2014",

month = mar,

day = "8",

doi = "10.1007/978-3-319-05119-2\_4",

language = "English",

isbn = "9783319051185",

volume = " 8358 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "45--63",

editor = "Martin Abadi and Lafuente, \{Alberto Lluch\}",

booktitle = "Trustworthy Global Computing",

note = "8th International Symposium on Trustworthy Global Computing, TGC 2013 ; Conference date: 30-08-2013 Through 31-08-2013",

}

Xu, S, Batten, I & Ryan, M 2014, Dynamic Measurement and Protected Execution: Model and Analysis. in M Abadi & AL Lafuente (eds), Trustworthy Global Computing: 8th International Symposium TGC 2013; Buenos Aires; Argentina; 30-31 August, Revised Selected Papers. vol. 8358 LNCS, Chapter 4, Lecture Notes in Computer Science, vol. 8358, Springer, pp. 45-63, 8th International Symposium on Trustworthy Global Computing, TGC 2013, Buenos Aires, Argentina, 30/08/13. https://doi.org/10.1007/978-3-319-05119-2_4

Dynamic Measurement and Protected Execution: Model and Analysis. / Xu, Shiwei; Batten, Ian ; Ryan, Mark.
Trustworthy Global Computing: 8th International Symposium TGC 2013; Buenos Aires; Argentina; 30-31 August, Revised Selected Papers. ed. / Martin Abadi; Alberto Lluch Lafuente. Vol. 8358 LNCS Springer, 2014. p. 45-63 Chapter 4 (Lecture Notes in Computer Science; Vol. 8358).

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

TY - GEN

T1 - Dynamic Measurement and Protected Execution: Model and Analysis

AU - Xu, Shiwei

AU - Batten, Ian

AU - Ryan, Mark

PY - 2014/3/8

Y1 - 2014/3/8

U2 - 10.1007/978-3-319-05119-2_4

DO - 10.1007/978-3-319-05119-2_4

M3 - Conference contribution

SN - 9783319051185

VL - 8358 LNCS

T3 - Lecture Notes in Computer Science

SP - 45

EP - 63

BT - Trustworthy Global Computing

A2 - Abadi, Martin

A2 - Lafuente, Alberto Lluch

PB - Springer

T2 - 8th International Symposium on Trustworthy Global Computing, TGC 2013

Y2 - 30 August 2013 through 31 August 2013

ER -

Xu S, Batten I , Ryan M. Dynamic Measurement and Protected Execution: Model and Analysis. In Abadi M, Lafuente AL, editors, Trustworthy Global Computing: 8th International Symposium TGC 2013; Buenos Aires; Argentina; 30-31 August, Revised Selected Papers. Vol. 8358 LNCS. Springer. 2014. p. 45-63. Chapter 4. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-05119-2_4

Dynamic Measurement and Protected Execution: Model and Analysis

Publication series

Conference

Access to Document

Projects

TSB - Trust Domains: A Framework for Modelling and Designing E-Service Infrastructures for Controlled Information Sharing.

Leadership Fellowships 2009 : Analysing Security and Privacy Properties

Cite this