Publications
|
Selections of these
publications can also be obtained from my profiles at:
DBLP
Epubs
Eprints
Edited Books
[1] Joseph Morris, Benjamin Aziz, and Frederic Oehl (editors). Proceedings of the 6th International
Workshop on Formal Methods. Electronic Workshops in Computing (eWiC), British Computer Society, July 2003.
Ph.D. Thesis
[2] Benjamin Aziz.
A Static Analysis Framework for Security Properties in Mobile and Cryptographic
Systems. Ph.D. Thesis, Dublin City University, 2003.
M.Sc. Dissertation
[3] Benjamin Aziz.
Mobile Proxies. M.Sc. Dissertation, Trinity College Dublin, 1999.
Book Chapters
[4] Alvaro Arenas, Benjamin Aziz, Fabio Martinelli, Marinella Petrocchi and Paolo
Mori. Trust Management for Grid Systems. In Trust Modeling
and Management in Digital Environments: From Social Concept to System
Development, IGI-Global, December 2009.
Journals (impact factor source: www.scimagojr.com)
[5] Benjamin Aziz and Geoff Hamilton. Verifying a
Delegation Protocol for Grid Systems. Future Generation Computer Systems:
The International Journal of Grid Computing and eScience,
Elsevier, 27(5): 476–485, 2011. Current IF is 2.365
[6] Alvaro Arenas, Benjamin Aziz and Gheorghe Silaghi.
Reputation Management in Collaborative Computing Systems. Journal of
Security and Communication Networks, 3(6): 546–564, John Wiley and Sons,
2009.
[7] Benjamin Aziz, Simon Foley, John Herbert and Garret
Swart. Configuring Storage Area Networks Using Mandatory Security. Journal
of Computer Security, 17(2):191-210, IOS Press, 2009. Current IF is 1.805
[8] Benjamin Aziz and Geoff Hamilton. Modelling and
Analysis of PKI-based Systems Using Process Calculi. International Journal
of Foundations of Computer Science, 18(3):593-618, World Scientific, 2007.
Current IF is 0.679
[9] Benjamin Aziz, Simon Foley, John Herbert and Garret
Swart. Reconfiguring Role Based Access Control Policies Using Risk
Semantics. Journal of High Speed Networks: Special Issue on Managing
Security Policies, Modelling Verification and Configuration, 15(3):261-273,
IOS Press, 2006. Current IF is 0.392
[10] Benjamin Aziz, Geoff Hamilton and David Gray. A
Static Analysis of Cryptographic Processes: The Denotational
Approach. Journal of Logic and Algebraic Programming, 64(2):285-320,
Elsevier, August 2005. Current IF is 1.196
Conferences
[11] Benjamin Aziz.
Towards Goal-Driven Digital Forensics Investigations. In Proceedings of the 2nd International
Conference on Cybercrime, Security and Digital Forensics (Cyfor-12),
London, UK, May 2012 (to appear).
[12] Alvaro Arenas, Benjamin Aziz, Szymon
Maj and Brian Matthews. An Autonomic Security
Monitor for Distributed Operating Systems (Invited Paper). In Proceedings of the 4th European
Conference ServiceWave 2011, Poznan, Poland, LNCS
6994: 112-121, Springer, October 2011.
[13] Benjamin Aziz.
Correcting a Delegation Protocol for Grids. In Proceedings of the 8th International
Conference on Trust, Privacy & Security in Digital Business (TrustBus 2011), Toulouse, France, LNCS 6863: 198-209,
Springer, August 2011.
[14] Benjamin Aziz, Shirley Crompton and Michael
Wilson. A Metadata Model for Data
Centric Security. In Proceedings of
the 8th FTRA International Conference on Secure and Trust Computing, Data
Management, and Applications (STA 2011), Crete, Greece, CCIS 186: 21-28,
Springer, June 2011.
[15] Benjamin Aziz, Alvaro Arenas and Michael
Wilson. SecPAL4DSA: A Policy
Language for Specifying Data Sharing Agreements. In Proceedings of the 8th FTRA
International Conference on Secure and Trust Computing, Data Management,
and Applications (STA 2011), Crete, Greece, CCIS 186: 29-36, Springer, June
2011.
[16] Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui and Michael D. Wilson. An Event-B Approach
to Data Sharing Agreements. In Proceedings of the 8th International
Conference on Integrated Formal Methods (iFM
2010), Nancy, France, LNCS 6396: 28-42, Springer, October 2010.
[17] Benjamin Aziz, Alvaro Arenas, Ian Johnson, Matej Artac, Ales Cernivec and Philip Robinson. Management of Security
Policies in Virtual Organisations. In Proceedings of the 2010 International
Conference on Security and Cryptography (Secrypt
2010), Athens, Greece, July 2010.
[18] Benjamin Aziz, Alvaro Arenas, Shirley Crompton and
Brian Matthews. From Community to Resource Policies: A Tool for the
Automatic Refinement of VO Policies. In Proceedings of the 2009 UK
e-Science All Hands Meeting, Oxford, UK, December 2009.
[19] Benjamin Aziz and Geoff Hamilton. Detecting
Man-in-the-Middle Attacks by Precise Timing. In Proceedings of The Third
International Conference on Emerging Security Information, Systems and
Technologies (Securware 2009), Athens, Greece,
81-86,IEEE Computer Society, June 2009 (won best
paper award).
[20] Federico Stagni, Alvaro
Arenas, Benjamin Aziz and Fabio Martinelli. On Usage Control in Data Grids.
In Proceedings of the 3rd IFIP International Conference on Trust Management
(TM'09), Purdue University, West Lafayette, USA, IFIP Advances in
Information and Communication Technology, vol. 300/2009, 99-116, June 2009.
[21] Syed Naqvi,
Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo
Mori, Lorenzo Blasi and Giovanni Cortese.
Fine-grained continuous usage control of service based Grids the GridTrust Approach. In Proceedings of ServiceWave 2008, Madrid, Spain, December 2008.
[22] Alvaro Arenas, Benjamin Aziz, Philippe Massonet
and Christophe Ponsard. A Goal-Oriented Approach to Grid Security
Requirements. In Proceedings of the 2008 UK e-Science All Hands Meeting,
Edinburgh, UK, September 2008.
[23] Michael D. Wilson, Alvaro Arenas, Brian M.
Matthews, Shirley Crompton and Benjamin Aziz. Security Policies in
Scientific Data Sharing Agreements. In Proceedings of the 2008 UK e-Science
All Hands Meeting, Edinburgh, UK, September 2008.
[24] Lorenzo Blasi, Alvaro Arenas, Benjamin Aziz, Paolo
Mori, Umberto Rovati, Bruno Crispo, Fabio Martinelli
and Philippe Massonet. A Secure Environment for Grid-Based Supply Chains.
In Proceedings of the eChallenges e-2008
Conference, Stockholm, Sweden, October 2008.
[25] Alvaro Arenas, Benjamin Aziz and Gheorghe Cosmin
Silaghi. Reputation Management in Grid-based Virtual Organisations. In
Proceedings of the 3rd International Conference on Security and
Cryptography (Secrypt 2008), Porto, Portugal,
INSTICC, July 2008.
[26] Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci and Paolo
Mori. Controlling Usage of Business Processes through Fine-Grained Security
Policies. In Proceedings of the 5th International Conference on Trust,
Privacy and Security in Digital Business (TrustBus
2008), Turin, Italy, LNCS 5185:100-117, Springer, September 2008.
[27] Juan Bicarregui, Alvaro
Arenas, Benjamin Aziz, Philippe Massonet and Christophe Ponsard. Towards
Modelling Obligations in Event-B. In Proceedings of the ABZ 2008
Conference, London, UK, LNCS 5238:181-194, Springer, September 2008.
[28] Benjamin Aziz. Measuring the Speed of Information
Leakage in Mobile Processes. In Proceedings of the 11th International
Conference on Algebraic Methodology and Software Technology (AMAST'06), Kuressaare, Estonia, LNCS 4019:36-50, Springer, July
2006.
[29] Benjamin Aziz, David Gray and Geoff Hamilton. A Static Analysis of PKI-based Systems. In Proceedings
of the 9th Italian Conference on Theoretical Computer Science (ICTCS'05), Certosa di Pontignano (Siena), Italy, LNCS 3701:51-65, Springer,
October 2005.
[30] Garret Swart, Benjamin Aziz, Simon Foley and John
Herbert. Trading Off Security in a Service Oriented Architecture. In
Proceedings of the 19th Annual IFIP WG 11.3 Working Conference on Data and
Applications Security, Storrs, CT, USA, LNCS 3654:295-309, Springer-Verlag, August 2005.
[31] Garret Swart, Benjamin Aziz, Simon Foley and John
Herbert. Automatic Configuration of Services for Security, Bandwidth,
Throughput and Availability. In Forum proceedings of the 2nd International
Conference on Service Oriented Computing (IC-SOC'04), New York, USA, IBM
Technical Report RA221, November 2004.
[32] Benjamin Aziz, Simon N. Foley, John Herbert and
Garret Swart. Configuring Storage-Area Networks for Mandatory Security. In
Proceedings of the 18th Annual IFIP WG 11.3 Working Conference on Data and
Applications Security, Sitges, Spain,
144:357-370, Kluwer, July 2004.
[33] Bruno Blanchet and Benjamin Aziz. A Calculus for
Secure Mobility. In Proceedings of the 8th Asian Computing Science
Conference (Asian'03), Mumbai, India, LNCS 2896:188-204, Springer-Verlag, December 2003.
[34] Benjamin Aziz, David Gray, Geoff Hamilton,
Frederic Oehl, James Power, and David Sinclair.
Implementing Protocol Verification for E-Commerce. In Proceedings of the
2001 International Conference on Advances in Infrastructure for Electronic
Business, Science, and Education on the Internet (SSGRR'01), L’Aquila,
Italy, August 2001.
Symposia
[35] Benjamin Aziz. Application of Formal Analysis to
Enhancing Trust in a Complex Grid-based Operating System. In Proceedings of
the 3rd International ACM SIGSOFT Symposium on Architecting Critical
Systems (ISARCS 2012), Bertinoro, Italy, June
2012 (to appear).
[36] Benjamin Aziz, Alvaro E. Arenas and Michael Wilson. Model-based Refinement of Security
Policies in Collaborative Virtual Organisations. In Proceedings of the 3rd
International Symposium on Engineering Secure Software and Systems
(ESSOS’11), Madrid, Spain, LNCS 6542: 1-14, Springer,
February 2011.
[37] Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard and Philippe Massonet.
From Goal-Oriented Requirements to Event-B Specifications. In Proceedings
of the First NASA Formal Methods Symposium, California, USA, 96-105, NASA,
April 2009.
[38] Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews and Erica Yang. Modelling
Security Properties in a Goal-based Operating System with Anti-Goals. In
Proceedings of the Symposium on Requirements Engineering for Information
Security (SRIES 2008), Barcelona, Spain, 1429-1436, IEEE Computer Society,
March 2008.
[39] Benjamin Aziz and Christian Jensen. Adaptability
in CORBA: The Mobile Proxy Approach. In Proceedings of the 2nd
International Symposium on Distributed Objects and Applications (DOA'00),
Antwerp, Belgium, 295-304, IEEE Press, September 2000.
Workshops
[40] Benjamin Aziz, Alvaro Arenas, Giovanni Cortese, Bruno Crispo and Silvio
Causetti. A Secure and Scalable Grid-based
Content Management System. In Proceedings of the Fifth International
Workshop on Frontiers in Availability, Reliability and Security (FARES
2010), Krakow, Poland, 404-409, IEEE Computer Society, February 2010.
[41] Shirley Crompton, Benjamin Aziz and Michael
Wilson. Sharing Scientific Data: Scenarios and Challenges. In Proceedings
of the W3C Workshop on Access Control Application Scenarios, Luxembourg,
November 2009.
[42] Alvaro Arenas, Benjamin Aziz and Juan Bicarregui. Policy Refinement in Virtual Organisations.
In Proceedings of the 2008 Formal Aspects of Virtual Organisations Workshop
(FAVO2008), Turku, Finland, May 2008.
[43] Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Brian Matthews and Erica Yang. A Formal
Security Requirements Model for a Grid-based Operating System. In
Proceedings of the BCS-FACS 2007 Christmas Workshop: Formal Methods in
Industry, London, UK, Electronic Workshops in Computing (eWiC), BCS, December 2007.
[44] Alvaro Arenas, Benjamin Aziz, Juan Bicarregui and Brian Matthews. Managing Conflicts of
Interest in Virtual Organisations. In Proceedings of the 3rd International
Workshop on Security and Trust Management (STM'07), Dresden, Germany, ENTCS
197(2):45-56, Elsevier, September 2007.
[45] Benjamin Aziz. A Semiring-based
Quantitative Analysis of Mobile Systems. In Proceedings of the 3th
International Workshop on Software Verification and Validation (SVV'05),
Manchester, UK, ENTCS 157(1):3-21, Elsevier, May
2006.
[46] Benjamin Aziz, Geoff Hamilton and David Gray. A Denotational Approach to the Static Analysis of
Cryptographic Processes. In Proceedings of the International Workshop on
Software Verification and Validation (SVV'03), Mumbai, India, ENTCS 118:19-36,
Elsevier, December 2005.
[47] David Gray, Benjamin Aziz and Geoff Hamilton.
SPIKY: A Nominal Calculus for Modelling Protocols that use PKIs. In
Proceedings of the International Workshop on Security Analysis of Systems:
Formalism and Tools (SASYFT'04), Orleans, France, Technical Report
RR-2004-11, Laboratoire d'Informatique
Fondamentale d'Orleans,
June 2004.
[48] Benjamin Aziz and Geoff Hamilton. A Privacy
Analysis for the Pi-calculus: The Denotational
Approach. In Proceedings of the 2nd Workshop on the Specification, Analysis
and Validation for Emerging Technologies (SAVE'02), Copenhagen, Denmark,
July 2002.
[49] Benjamin Aziz and Geoff Hamilton. A Denotational Semantics for the Pi-Calculus. In
Proceedings of the 5th Irish Workshop in Formal Methods (IWFM'01), Trinity
College, Dublin, Ireland, Electronic Workshops in Computing (eWiC), BCS, July 2001.
Posters
[50] Adam Barker, Benjamin Aziz, Alvaro Arenas, Ian
Johnson, Brian Matthews and Erica Y. Yang. Trust Management of Dynamic
Virtual Organisations in XtreemOS, UK e-Science
2009 All Hands Meeting, December 2009.
Technical Reports
[51] Benjamin Aziz, Alvaro Arenas, Ian Johnson, Erica
Yang, Matej Artac, Ales
Cernivec, Philip Robinson and Yvon
Jegou. Trust Management in the XtreemOS Operating System. XtreemOS
Technical Report 5, 2010.
[52] Federico Stagni, Alvaro
Arenas and Benjamin Aziz. On Usage Control in Data Grids. CoreGrid Technical report TR-0154, STFC RAL,
Oxfordshire, UK, 2008.
[53] Benjamin Aziz. A Static Analysis of the Applied Pi-Calculus.
Technical report 2006/15, Imperial College London, London, UK, 2006.
[54] Benjamin Aziz and Geoff Hamilton. Modelling and
Analysis of PKI-based Systems using Process Calculi. Technical report
2006/14, Imperial College London, London, UK, 2006.
[55] Benjamin Aziz and Christian Jensen. Adaptability
in CORBA: The Mobile Proxy Approach. Technical report TCD-CS-2000-57,
Trinity College, Dublin, Ireland, December 2000.
[56] Benjamin Aziz. Mobile Proxies. Technical report
TCD-CS-1999-60, Trinity College, Dublin, Ireland, December 1999.
[57] Benjamin Aziz. A Video Display Generator (VDG).
B.Sc. technical report, University of Garyounis,
Benghazi, Libya, July 1995.
European Deliverables
[58] Methodology and Design Alternatives for Federation
and Interoperability. EU FP6 Project XtreemOS
Deliverable D3.5.15, 2010.
[59] Methodology and Design Alternatives for Trust
Services in XtreemOS. EU FP6 Project XtreemOS Deliverable D3.5.9, 2010.
[60] Fourth Specification of the Security and VO
Management Services. EU FP6 Project XtreemOS
Deliverable D3.5.13, 2009.
[61] Evaluation Report. EU FP6 Project GridTrust Deliverable D5.3, 2009.
[62] VO Management System. EU FP6 Project GridTrust Deliverable D4.3, 2009.
[63] A Framework for Reasoning about Trust and Security
in Grids at Requirement and Application Levels. EU FP6 Project GridTrust Deliverable D4.1, 2009.
[64] Methodologies and tools for data sharing agreement
infrastructure. EU FP7 Consequence Deliverable D2.1, 2008.
[65] Models and Framework for Metadata Generation and
Policy Infrastructure. EU FP7 Consequence Deliverable D3.1, 2008.
[66] Requirements Specification for the Sharing
Sensitive Scientific Data Test Bed. EU FP7 Consequence Deliverable D6.1,
2008.
[67] Integration of TSP Policies in the UCON Model and
Integration of the UCON Model with the VO Model. EU FP6 GridTrust
Deliverable D3.3, 2008.
[68] Reasoning about Trust and Security Properties in
Dynamic Virtual Organisations: State of the Art. EU FP6 Project GridTrust Deliverable D2.1, 2007.
[69] Reasoning about Trust and Security Properties in
Virtual Organisations. EU FP6 Project GridTrust
Deliverable D2.2, 2007.
[70] Report on Formal Analysis of Security Properties.
EU FP6 project XtreemOS Deliverable D3.5.6, 2007.
|