Andrew Martin : Publications
Journal papers
|
[1] |
Trust in Clouds Imad Abbadi and Andrew Martin In Elsevier Information Security Technical Report. Vol. to appear. 2011. |
|
[2] |
A Survey of Trust in Workflows and Relevant Contexts W. Viriyasitavat and A. Martin In Communications Surveys Tutorials‚ IEEE. Vol. PP. No. 99. Pages 1 −30. 2011. |
|
[3] |
A multiple comparative study of test−with development product changes and their effects on team speed and product quality Steve Bannerman and Andrew Martin In Empirical Software Engineering. 2010. |
|
[4] |
Managing application whitelists in trusted distributed systems Jun Ho Huh‚ John Lyle‚ Cornelius Namiluko and Andrew Martin In Future Generation Computer Systems. Vol. In Press‚ Accepted Manuscript. 2010. Details | BibTeX | DOI (DOI: 10.1016/j.future.2010.08.014) | Link |
|
[5] |
Relating Z and First−order logic A. P. Martin In Formal Aspects of Computing. Vol. 12. Pages 199–209. 2000. |
|
[6] |
A calculus for schemas in Z Stephen Brien and Andrew Martin In J. Symbolic Computation. Vol. 30. No. 1. Pages 63–91. 2000. |
|
[7] |
A Tactic Calculus A. P. Martin‚ P. H. B. Gardiner and J. C. P. Woodcock In Formal Aspects of Computing. Vol. 8. No. 4. Pages 479–489. 1996. An abridged version appears in the printed journal; the full version is available in the electronic supplement to Formal Aspects of Computing‚ 8E‚ pp244–285. http://link.springer.de/link/service/journals/00165/supp/list94_96.htm |
|
[8] |
A Calculus for Schemas in Z S. M. Brien and A. P. Martin In J. Symbolic Computation. Vol. 30. No. 1. Pages 63–91. 2000. |
|
[9] |
Uncertainty in the predictions of the climate response to rising levels of greenhouse gases D. A. Stainforth‚ T. Aina‚ C. Christensen‚ M. Collins‚ N. Faull‚ D. J. Frame‚ J. A. Kettleborough‚ S. Knight‚ A. Martin‚ J. M. Murphy‚ C. Piani‚ D. Sexton‚ L. A. Smith‚ R. A. Spicer‚ A. J. Thorpe and M. R. Allen In Nature. Vol. 433. Pages 403–406. 2005. |
|
[10] |
Editorial‚ Guest Editors‚ Special issue on Grid Security Howard Chivers and Andrew Martin In Software—Practice and Experience. Vol. 35. No. 9. July, 2005. |
|
[11] |
Data access and analysis with distributed federated data servers in climateprediction.net N. Massey‚ T. Aina‚ M. Allen‚ C. Christensen‚ D. Frame‚ D. Goodman‚ J Kettleborough‚ A. Martin‚ S. Pascoe and D. Stainforth In Advances in Geosciences. Vol. 8. Pages 49–56. June, 2006. |
|
[12] |
Preface. Alvaro E. Arenas‚ Jin Song Dong‚ Andrew Martin and Brian Matthews In Electr. Notes Theor. Comput. Sci.. Vol. 151. No. 2. Pages 1. 2006. |
|
[13] |
Association of parameter‚ software‚ and hardware variation with large−scale behavior across 57‚000 climate models Christopher G. Knight‚ Sylvia H. E. Knight‚ Neil Massey‚ Tolu Aina‚ Carl Christensen‚ Dave J. Frame‚ Jamie A. Kettleborough‚ Andrew Martin‚ Stephen Pascoe‚ Ben Sanderson‚ David A. Stainforth and Myles R. Allen In Proceedings of the National Academy of Sciences in the United States of America. Vol. 104. No. 30. Pages 12259–12264. July, 2007. |
|
[14] |
Uncertainty in the predictions of the climate response to rising levels of greenhouse gases D. A. Stainforth‚ T. Aina‚ C. Christensen‚ M. Collins‚ N. Faull‚ D. J. Frame‚ J. A. Kettleborough‚ S. Knight‚ A. Martin‚ J. M. Murphy‚ C. Piani‚ D. Sexton‚ L. A. Smith‚ R. A. Spicer‚ A. J. Thorpe and M. R. Allen In Nature. Vol. 433. Pages 403–406. 2005. |
Conference papers
|
[1] |
Hardware Security for Device Authentication in the Smart Grid Andrew Paverd and Andrew Martin In First Open EIT ICT Labs Workshop on Smart Grid Security − SmartGridSec12. Berlin‚ Germany. 2012. Details | BibTeX | Download (pdf) | Link |
|
[2] |
BottleCap: a Credential Manager for Capability Systems Justin King−Lacroix and Andrew Martin In Proceedings of The Seventh ACM Workshop on Scalable Trusted Computing. 2012. To appear |
|
[3] |
Provenance as a Security Control Andrew Martin‚ John Lyle and Cornelius Namiluko In Proceedings of TaPP'12: the 4th USENIX Workshop on the Theory and Practice of Provenance. USENIX. 2012. |
|
[4] |
Trustworthy Middleware Services in the Cloud Imad M. Abbadi‚ Mina Deng‚ Marco Nalin‚ Andrew Martin‚ Milan Petkovic‚ Ilaria Baroni and Alberto Sanna In CloudDB'11. ACM Press‚ NY. October, 2011. |
|
[5] |
Verifying Trustworthiness of Virtual Appliances in Collaborative Environments Cornelius Namiluko‚ Jun Ho Huh and Andrew Martin 2011. |
|
[6] |
Secure Virtual Layer Management of Clouds Imad M. Abbadi‚ Muntaha Alawneh and Andrew Martin In The 10th IEEE International Conference on Trust‚ Security and Privacy in Computing and Communications (IEEE TrustCom−11). IEEE. November, 2011. |
|
[7] |
Formalizing Trust Requirements and Specification in Service Workflow Environments. Wattana Viriyasitavat and Andrew Martin In Runtong Zhang‚ Jos� Cordeiro‚ Xuewei Li‚ Zhenji Zhang and Juliang Zhang, editors, ICEIS (3). Pages 196−206. SciTePress. 2011. |
|
[8] |
Achieving attestation with less effort: an indirect and configurable approach to integrity reporting Jun Ho Huh‚ Hyoungshick Kim‚ John Lyle and Andrew Martin In Proceedings of the sixth ACM workshop on Scalable trusted computing. Pages 31–36. ACM. 2011. |
|
[9] |
On the design and development of webinos: a distributed mobile application middleware John Lyle‚ Shamal Faily‚ Ivan Flechais‚ Andre Paul‚ Ayse Goker‚ Hans Myrhaug‚ Heiko Desruelle and Andrew Martin In Proceedings of the 12th IFIP WG 6.1 international conference on Distributed applications and interoperable systems. Pages 140–147. 2012. |
|
[10] |
Trusted Computing and Provenance: Better Together John Lyle and Andrew Martin In Proceedings of the 2nd Workshop on the Theory and Practice of Provenance. Usenix. 2010. |
|
[11] |
On the Feasibility of Remote Attestation for Web Services John Lyle and Andrew Martin In SecureCom09: Proceedings of the International Symposium on Secure Computing. Pages 283−288. IEEE. 2009. Details | BibTeX | Download PublicationFile | Download feasibility-ieee.pdf | Link |
|
[12] |
Engineering Attestable Services (short paper) John Lyle and Andrew Martin In Ahmad−Reza Acquisti Alessandro; Smith Sean W.; Sadeghi, editor, Proceedings of the 3rd International Conference on Trust and Trustworthy Computing. Pages 257–264. Springer. June, 2010. Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-13869-0) | Link |
|
[13] |
Towards a Trustable Virtual Organisation Jun Ho Huh and Andrew Martin Pages 425−431. Los Alamitos‚ CA‚ USA. November, 2009. IEEE Computer Society. |
|
[14] |
Trusted Logging for Grid Computing Jun Ho Huh and Andrew Martin In Third Asia−Pacific Trusted Infrastructure Technologies Conference. Pages 30−42. Los Alamitos‚ CA‚ USA. October, 2008. IEEE Computer Society. |
|
[15] |
Supplementing the understanding of Z: a formal approach to database design A. C. Simpson and A. P. Martin In Proceedings of the BCS Teaching Formal Methods workshop. BCS. 2003. |
|
[16] |
climateprediction.com: security and design planning D. Stainforth‚ J. A. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ A. P. Martin‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. Allen In Proceedings of the 2002 UK e−Science All Hands Meeting. 2002. |
|
[17] |
Teaching Formal Methods in Context Jim Davies‚ Andrew Simpson and Andrew Martin In C. Neville Dean and Raymond T. Boute, editors, Symposium on Teaching Formal Methods. Vol. 3294 of Lecture Notes in Computer Science. Springer−Verlag. 2004. |
|
[18] |
On the supervision and assessment of part−time postgraduate software engineering projects A C. Simpson‚ A. P. Martin‚ J. Gibbons‚ J. W. Davies and S. W. McKeever In Proceedings of the 25th International Conference on Software Engineering (ICSE)‚ Portland‚ Oregon‚ 3–10 May‚ 2003. Pages 628–633. IEEE Computer Society Press. 2003. |
|
[19] |
ZML: XML Support for Standard Z Mark Utting‚ Ian Toyn‚ Jing Sun‚ Andrew Martin‚ Jin Song Dong‚ Nicholas Daley and David W. Currie In Didier Bert‚ Jonathan P. Bowen‚ Steve King and Marina Waldén, editors, ZB 2003: Formal Specification and Development in Z and B‚ Third International Conference of B and Z Users‚ Turku‚ Finland‚ June 4−6‚ 2003‚ Proceedings. Vol. 2651 of Lecture Notes in Computer Science. Pages 437−456. Springer. 2003. |
|
[20] |
On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects. Andrew Simpson‚ Andrew Martin‚ Jeremy Gibbons‚ Jim Davies and Steve McKeever In Proceedings of the 25th International Conference on Software Engineering‚ May 3−10‚ 2003‚ Portland‚ Oregon‚ USA. Pages 628−633. IEEE Computer Society. 2003. |
|
[21] |
Generalizing the Schema Calculus: Database Schemas and Beyond Andrew Martin and Andrew Simpson In Proceedings of 10th Asia−Pacific Software Engineering Conference. IEEE press. 2003. to appear |
|
[22] |
Lifting in Z A. Martin and C. Fidge In Proceedings of CATS'2001. No. 42. 2001. |
|
[23] |
Climateprediction.net: design principles for public resource modelling research. D. Stainforth‚ J. Kettleborough‚ A. Martin‚ A. Simpson‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. Gavaghan and M. Allen In Proc. 14th IASTED conference on parallel and distributed computing systems.. 2002. |
|
[24] |
Relating Z and first−order logic Andrew Martin In Jeanette M. Wing‚ Jim Woodcock and Jim Davies, editors, FM'99 – Formal Methods. No. 1708‚1709. Pages 1266–1280. Springer−Verlag. September, 1999. |
|
[25] |
Infinite Lists for Specifying Functional Programs in Z Andrew Martin In Proceedings of Australian Refinement Workshop. University of Queensland. 1996. |
|
[26] |
Applying the Cogito Program Development Environment to Real−Time System Design C. J. Fidge‚ P. Kearney and A. P. Martin In C. McDonald, editor, Computer Science '98. Pages 367–378. Springer−Verlag. 1998. Proc. 21st Australasian Computer Science Conference‚ Perth‚ 4−6 February 1998. Australian Computer Science Communications‚ Vol. 20‚ No. 1. Also available as technical report SVRC−TR−97−36. |
|
[27] |
A Set−Theoretic Model for Real−Time Specification and Reasoning C. J. Fidge‚ I. J. Hayes‚ A. P. Martin and A. K. Wabenhorst In J. Jeuring, editor, Mathematics of Program Construction (MPC'98). Vol. 1422 of Lecture Notes in Computer Science. Pages 188–206. Springer−Verlag. 1998. |
|
[28] |
The Cogito development system Owen Traynor‚ Dan Hazel‚ Peter Kearney‚ Andrew Martin‚ Ray Nickson and Luke Wildman In Michael Johnson, editor, Algebraic Methodology and Software Technology. Vol. 1349 of LNCS. Pages 586–591. Berlin. December, 1997. Springer−Verlag. 6th International conference‚ AMAST'97‚ Sydney‚ Australia |
|
[29] |
W Reconstructed Jon Hall and Andrew Martin In Jonathan P. Bowen‚ Michael G Hinchey and David Till, editors, ZUM'97: The Z Formal Specification Notation‚ 10th International Conference of Z Users‚ Reading‚ UK‚ April 1997‚ Proceedings. Vol. 1212 of Lecture Notes in Computer Science. Berlin Heidelberg. April, 1997. Springer−Verlag. |
|
[30] |
Encoding : A Logic for Z in 2OBJ Andrew Martin In J. C. P. Woodcock and P. G. Larsen, editors, FME'93: Industrial−Strength Formal Methods. Vol. 670 of Lecture Notes in Computer Science. Pages 462–481. Springer−Verlag. 1993. |
|
[31] |
A Tactic Language for Ergo A. Martin‚ R. Nickson and M. Utting In Lindsay Groves and Steve Reeves, editors, Formal Methods Pacific '97. Singapore. July, 1997. Springer−Verlag. Also appears as TR97−16‚ Software Verification Research Centre‚ The University of Queensland‚ QLD 4072‚ Australia |
|
[32] |
Grid Style Web Services for ClimatePrediction.net Daniel Goodman and Andrew Martin In S. Newhouse and S. Parastatidis, editors, GGF workshop on building Service−Based Grids‚ Honolulu‚ Hawaii. Global Grid Forum. 2004. |
|
[33] |
Questions and Answers About Ten Formal Methods P. Hartel‚ M. Butler‚ A. Currie‚ P. Henderson‚ M. Leuschel‚ A. Martin‚ A. Smith‚ U. Ultes−Nitsche and B. Walters In S. Gnesi and D. Latella, editors, Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. Vol. II. Pages 179−203. Trento‚ Italy. July, 1999. ERCIM. STAR/CNR‚ Pisa‚ Italy. |
|
[34] |
Grids and Private Networks are Anthitetical Andrew Martin and Carl Cook In Howard Chivers and Andrew Martin, editors, Grid Security Practice and Experience Workshop. Computer Science Department‚ University of York‚ YCS−2004−380. 2004. |
|
[35] |
Security Principles for Public−Resource Modeling Research. Dave Stainforth‚ Andrew Martin‚ Andrew Simpson‚ Carl Christensen‚ Jamie Kettleborough‚ Tolu Aina and Myles Allen In 13th IEEE International Workshops on Enabling Technologies (WETICE 2004)‚ Infrastructure for Collaborative Enterprises‚ 14−16 June 2004‚ Modena‚ Italy. Pages 319−324. IEEE Computer Society. 2004. |
|
[36] |
e−Science Experiences: Software Engineering Practice and the EU DataGrid Lee Momtahan and Andrew Martin In Proc. Asia−Pacific Software Engineering Conference. Pages 269–275. IEEE Press. 2002. |
|
[37] |
Innovations for Grid Security from Trusted Computing Wenbo Mao‚ Andrew Martin‚ Hai Jin and Huanguo Zhang In Fourteenth International Workshop on Security Protocols. Springer−Verlag. 2006. To appear |
|
[38] |
A Taxonomy of Web Services Using CSP Lee Momtahan‚ Andrew Martin and A. W. Roscoe In Proceedings of Web Languages and Formal Methods. 2005. |
|
[39] |
On two kinds of public−resource distributed computing Andrew Martin‚ Tolu Aina‚ Carl Christensen‚ Jamie Kettleborough and David Stainforth In Proceedings of Fourth UK e−Science All Hands Meeting. 2005. |
|
[40] |
Towards a Secure‚ Tamper−Proof Grid Platform. Andrew Cooper and Andrew Martin In Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006)‚ 16−19 May 2006‚ Singapore. Pages 373−380. IEEE Computer Society. 2006. |
|
[41] |
ShibGrid: Shibboleth Access for the UK National Grid Service David Spence‚ Neil Geddes‚ Jens Jensen‚ Andrew Richards‚ Matthew Viljoen‚ Andrew Martin‚ Matthew Dovey‚ Mark Norman‚ Kang Tang‚ Anne Trefethen‚ David Wallom‚ Rob Allan and David Meredith In eScience 2006‚ Amsterdam. 2006. |
|
[42] |
Trusted Delegation for Grid Computing Andrew Cooper and Andrew Martin In The Second Workshop on Advances in Trusted Computing. 2006. |
|
[43] |
Towards an open‚ trusted digital rights management platform Andrew Cooper and Andrew Martin In DRM '06: Proceedings of the ACM workshop on Digital rights management. Pages 79–88. New York‚ NY‚ USA. 2006. ACM Press. Details | BibTeX | DOI (http://doi.acm.org/10.1145/1179509.1179525) |
Technical reports
|
[1] |
A Multiple Comparative Study of Test−With Development Product Changes and their Effects on Team Speed and Product Quality Steve Bannerman and Andrew Martin No. RR−10−03. April, 2010. |
|
[2] |
The Ten Page Introduction to Trusted Computing Andrew Martin No. RR−08−11. OUCL. December, 2008. |
|
[3] |
A Critical Survey of Grid Security Requirements and Technologies Philippa J. Broadfoot and Andrew P. Martin No. RR−03−15. Oxford University Computing Laboratory. August, 2003. |
|
[4] |
A taxonomy of web services using CSP Lee Momtahan‚ Andrew Martin and A. W. Roscoe No. RR−04−22. Oxford University Computing Laboratory. October, 2004. |
|
[5] |
Object Models: Job Submission in DataGrids Lee Momtahan and Andrew Martin No. RR−04−26. Oxford University Computing Laboratory. February, 2004. |
|
[6] |
Scientific middleware for abstracted parallelisation Daniel Goodman No. RR−05−07. Oxford University Computing Laboratory. November, 2005. |
|
[7] |
Grid Security: Requirements and Technologies A Survey of the State−of−the−art Philippa Broadfoot and Andrew Martin No. PRG−RR−03−15. Programming Research Group. Oxford University Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford‚ OX1 3QD‚ UK. 2003. |
|
[8] |
Soundness of an Encoding of A Logic for Z in 2OBJ Hendrik Hilberdink and Andrew Martin OUCL(PRG). June, 1992. |
|
[9] |
A Tutorial on Proof in Standard Z Stephen M. Brien and Andrew P. Martin No. PRG−120. Programming Research Group‚ Oxford University Computing Laboratory. Wolfson Building‚ Parks Road‚ Oxford‚ OX1 3QD‚ UK. 1995. Presented at ZUM'95 |
|
[10] |
Improving Angel's Parallel Operator: Gumtree's Approach Andrew Martin‚ Ray Nickson and Mark Utting No. 97−15. Software Verification Research Centre. The University of Queensland‚ QLD 4072‚ Australia. 1997. |
|
[11] |
Why effective proof tool support for Z is hard Andrew Martin No. 97−34. Software Verification Research Centre. 1997. |
Theses
|
[1] |
Machine−Assisted Theorem−Proving for Software Engineering Andrew Martin PhD Thesis , type={D.Phil.}\ Thesis D.Phil. ThesisType. University of Oxford. , 1994. Also available as Technical Monograph PRG−121‚ ISBN 0−902928−95−3‚ Oxford University Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford‚ OX1 3QD‚ UK |
Miscellaneous
|
[1] |
In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows Wattana Viriyasitavat and Andrew Martin In Abd Manaf‚ Azizah‚ Akram Zeki‚ Mazdak Zamani‚ Suriayati Chuprat and Eyas El−Qawasmeh, editors, Informatics Engineering and Information Science. Vol. 251 of Communications in Computer and Information Science. Pages 492−506. Springer Berlin Heidelberg. 2011. 10.1007/978−3−642−25327−0_42 |
|
[2] |
Provenance−Based Model for Verifying Trust−Properties Cornelius Namiluko and Andrew Martin In Stefan Katzenbeisser‚ Edgar Weippl‚ L. Camp‚ Melanie Volkamer‚ Mike Reiter and Xinwen Zhang, editors, TRUST AND TRUSTWORTHY COMPUTING. Vol. 7344/2012 of Lecture Notes in Computer Science. Pages 255−272. Springer Berlin / Heidelberg. 2012. Details | BibTeX | DOI (10.1007/978-3-642-30921-2_15) | Link |
|
[3] |
A Monadic Interpretation of Tactics Andrew Martin and Jeremy Gibbons
Submitted to MPC2002 |
|
[4] |
Of Tactics and Monads Andrew Philip Martin 1996. Work in progress |
|
[5] |
Infinite Lists in Z Andrew Martin 1993. Draft paper |
|
[6] |
Declarative languages in education H. Glaser‚ P. H. Hartel‚ M. Leuschel and A. Martin In Encyclopaedia of Microcomputers. Vol. 27. Pages 79–102. Marcel Dekker Inc. , AddressNew York. 2000. |
|
[7] |
e−Science: A Software Engineering Challenge Andrew Martin and Lee Momtahan Poster. 2002. UK eScience All Hands Meeting |