Benjamin Aziz

	2011
30		Benjamin Aziz, Alvaro E. Arenas, Michael D. Wilson: Model-Based Refinement of Security Policies in Collaborative Virtual Organisations. ESSoS 2011: 1-14
29		Alvaro E. Arenas, Benjamin Aziz, Szymon Maj, Brian Matthews: An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). ServiceWave 2011: 112-121
28		Benjamin Aziz: Correcting a Delegation Protocol for Grids. TrustBus 2011: 198-209
27		Benjamin Aziz, Geoff W. Hamilton: Verifying a delegation protocol for grid systems. Future Generation Comp. Syst. 27(5): 476-485 (2011)
	2010
26		Benjamin Aziz, Alvaro Arenas, Giovanni Cortese, Bruno Crispo, Silvio Causetti: A Secure and Scalable Grid-Based Content Management System. ARES 2010: 404-409
25		Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson: An Event-B Approach to Data Sharing Agreements. IFM 2010: 28-42
24		Benjamin Aziz, Alvaro Arenas, Ian Johnson, Matej Artac, Ales Cernivec, Philip Robinson: Management of Security Policies in Virtual Organisations. SECRYPT 2010: 467-477
23		Alvaro E. Arenas, Benjamin Aziz, Gheorghe Cosmin Silaghi: Reputation management in collaborative computing systems. Security and Communication Networks 3(6): 546-564 (2010)
	2009
22		Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli: On Usage Control in Data Grids. IFIPTM 2009: 99-116
21		Benjamin Aziz, Geoff W. Hamilton: Detecting Man-in-the-Middle Attacks by Precise Timing. SECURWARE 2009: 81-86
20		Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Configuring storage-area networks using mandatory security. Journal of Computer Security 17(2): 191-210 (2009)
	2008
19		Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194
18		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
17		Álvaro Enrique Arenas, Benjamin Aziz, Gheorghe Cosmin Silaghi: Reputation Management in Grid-based Virtual Organisations. SECRYPT 2008: 538-545
16		Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese: Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave 2008: 242-253
15		Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117
14		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		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		Benjamin Aziz: Measuring the Speed of Information Leakage in Mobile Processes. AMAST 2006: 36-50
11		Benjamin Aziz: A Semiring-based Quantitative Analysis of Mobile Systems. Electr. Notes Theor. Comput. Sci. 157(1): 3-21 (2006)
10		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		Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert: Trading Off Security in a Service Oriented Architecture. DBSec 2005: 295-309
8		Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
7		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		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		Bruno Blanchet, Benjamin Aziz: A Calculus for Secure Mobility. ASIAN 2003: 188-204
	2001
2		Benjamin Aziz, Geoff W. Hamilton: A Denotational Semantics for the Pi-Calculus. IWFM 2001
	2000
1		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] [16] [17] [18] [19] [22] [23] [24] [25] [26] [29] [30]
2	Matej Artac	[24]
3	Juan Bicarregui	[14] [18] [19] [25]
4	Bruno Blanchet	[3]
5	Lorenzo Blasi	[16]
6	Silvio Causetti	[26]
7	Ales Cernivec	[24]
8	Giovanni Cortese	[16] [26]
9	Bruno Crispo	[26]
10	Simon N. Foley	[5] [9] [10] [20]
11	David Gray	[6] [7] [8]
12	Geoff W. Hamilton (Geoff Hamilton)	[2] [6] [7] [8] [13] [21] [27]
13	John Herbert	[5] [9] [10] [20]
14	Christian Damsgaard Jensen	[1]
15	Ian Johnson	[24]
16	Szymon Maj	[29]
17	Fabio Martinelli	[15] [16] [22]
18	Philippe Massonet	[16] [19]
19	Ilaria Matteucci	[15]
20	Brian Matthews	[14] [18] [29]
21	Paolo Mori	[15] [16]
22	Joseph M. Morris	[4]
23	Syed Naqvi	[16]
24	Frédéric Oehl	[4]
25	Christophe Ponsard	[19]
26	Philip Robinson	[24]
27	Gheorghe Cosmin Silaghi	[17] [23]
28	Federico Stagni	[22]
29	Garret Swart	[5] [9] [10] [20]
30	Michael D. Wilson	[25] [30]
31	Erica Y. Yang	[18]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page