Benjamin Aziz

2008
15	EE	Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang: Modelling Security Properties in a Grid-based Operating System with Anti-Goals. ARES 2008: 1429-1436
14	EE	Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews: Managing Conflicts of Interest in Virtual Organisations. Electr. Notes Theor. Comput. Sci. 197(2): 45-56 (2008)
2007
13	EE	Benjamin Aziz, Geoff Hamilton: Modelling and Analysis of PKI-Based Systems Using Process Calculi. Int. J. Found. Comput. Sci. 18(3): 593-618 (2007)
2006
12	EE	Benjamin Aziz: Measuring the Speed of Information Leakage in Mobile Processes. AMAST 2006: 36-50
11	EE	Benjamin Aziz: A Semiring-based Quantitative Analysis of Mobile Systems. Electr. Notes Theor. Comput. Sci. 157(1): 3-21 (2006)
10	EE	Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Reconfiguring Role Based Access Control policies using risk semantics. J. High Speed Networks 15(3): 261-273 (2006)
2005
9	EE	Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert: Trading Off Security in a Service Oriented Architecture. DBSec 2005: 295-309
8	EE	Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
7	EE	Benjamin Aziz, Geoff W. Hamilton, David Gray: A Denotational Approach to the Static Analysis of Cryptographic Processes. Electr. Notes Theor. Comput. Sci. 118: 19-36 (2005)
6	EE	Benjamin Aziz, Geoff W. Hamilton, David Gray: A static analysis of cryptographic processes: the denotational approach. J. Log. Algebr. Program. 64(2): 285-320 (2005)
2004
5		Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Configuring Storage Area Networks for Mandatory Security. DBSec 2004: 357-370
2003
4		Joseph M. Morris, Benjamin Aziz, Frédéric Oehl: 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003 BCS 2003
3	EE	Bruno Blanchet, Benjamin Aziz: A Calculus for Secure Mobility. ASIAN 2003: 188-204
2001
2	EE	Benjamin Aziz, Geoff W. Hamilton: A Denotational Semantics for the Pi-Calculus. IWFM 2001
2000
1	EE	Benjamin Aziz, Christian Damsgaard Jensen: Adaptability in CORBA: The Mobile Proxy Approach. DOA 2000: 295-304

Coauthor Index

1	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[14] [15]
2	Juan Bicarregui	[14] [15]
3	Bruno Blanchet	[3]
4	Simon N. Foley	[5] [9] [10]
5	David Gray	[6] [7] [8]
6	Geoff W. Hamilton (Geoff Hamilton)	[2] [6] [7] [8] [13]
7	John Herbert	[5] [9] [10]
8	Christian Damsgaard Jensen	[1]
9	Brian Matthews	[14] [15]
10	Joseph M. Morris	[4]
11	Frédéric Oehl	[4]
12	Garret Swart	[5] [9] [10]
13	Erica Y. Yang	[15]

Colors in the list of coauthors