Research output per year
Research output per year
Project Details
| Short title | TSB - Trust Domains: A Framework for Modelling and Designing E-Service Infrastructures for Controlled Information Sharing. |
|---|---|
| Status | Finished |
| Effective start/end date | 18/07/11 → 17/07/14 |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 2 Conference contribution
-
Dynamic Measurement and Protected Execution: Model and Analysis
Xu, S., Batten, I. & Ryan, M., 8 Mar 2014, Trustworthy Global Computing: 8th International Symposium TGC 2013; Buenos Aires; Argentina; 30-31 August, Revised Selected Papers. Abadi, M. & Lafuente, A. L. (eds.). Springer, Vol. 8358 LNCS. p. 45-63 Chapter 4. (Lecture Notes in Computer Science; vol. 8358).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus) -
StatVerif: Verification of Stateful Processes
Arapinis, M., Ritter, E. & Ryan, M., 29 Jun 2011, Proceedings 2011 IEEE 24th Computer Security Foundations Symposium (CSF). Institute of Electrical and Electronics Engineers (IEEE), p. 33-47 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
37 Citations (Scopus)