- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j11 |      | Omed S. Khalind, Julio C. Hernandez-Castro, Benjamin Aziz: A study on the false positive rate of Stegdetect. Digital Investigation 9(3-4): 235-245 (2013) |
| 2012 | ||
| j10 | | Benjamin Aziz: An Algorithm for Trading Grid Resources in a Virtual Marketplace. Scalable Computing: Practice and Experience 13(4) (2012) |
| c22 | | Benjamin Aziz: Application of formal analysis to enhancing trust in a complex grid-based operating system. ISARCS 2012: 41-50 |
| 2011 | ||
| j9 | | Benjamin Aziz, Geoff W. Hamilton: Verifying a delegation protocol for grid systems. Future Generation Comp. Syst. 27(5): 476-485 (2011) |
| c21 | | Benjamin Aziz, Alvaro E. Arenas, Michael D. Wilson: Model-Based Refinement of Security Policies in Collaborative Virtual Organisations. ESSoS 2011: 1-14 |
| c20 | | Alvaro E. Arenas, Benjamin Aziz, Szymon Maj, Brian Matthews: An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). ServiceWave 2011: 112-121 |
| c19 | | |
| 2010 | ||
| j8 | | Alvaro E. Arenas, Benjamin Aziz, Gheorghe Cosmin Silaghi: Reputation management in collaborative computing systems. Security and Communication Networks 3(6): 546-564 (2010) |
| c18 | | Benjamin Aziz, Alvaro Arenas, Giovanni Cortese, Bruno Crispo, Silvio Causetti: A Secure and Scalable Grid-Based Content Management System. ARES 2010: 404-409 |
| c17 | | Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson: An Event-B Approach to Data Sharing Agreements. IFM 2010: 28-42 |
| c16 |  | Benjamin Aziz, Alvaro Arenas, Ian Johnson, Matej Artac, Ales Cernivec, Philip Robinson: Management of Security Policies in Virtual Organisations. SECRYPT 2010: 467-477 |
| 2009 | ||
| j7 | | 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) |
| c15 | | Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli: On Usage Control in Data Grids. IFIPTM 2009: 99-116 |
| c14 | | Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet: From Goal-Oriented Requirements to Event-B Specifications. NASA Formal Methods 2009: 96-105 |
| c13 | | Benjamin Aziz, Geoff W. Hamilton: Detecting Man-in-the-Middle Attacks by Precise Timing. SECURWARE 2009: 81-86 |
| 2008 | ||
| j6 | | 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) |
| c12 | | 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 |
| c11 | | Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard: Towards Modelling Obligations in Event-B. ABZ 2008: 181-194 |
| c10 | | Álvaro Enrique Arenas, Benjamin Aziz, Gheorghe Cosmin Silaghi: Reputation Management in Grid-based Virtual Organisations. SECRYPT 2008: 538-545 |
| c9 | | 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 |
| c8 | | 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 |
| 2007 | ||
| j5 | | 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 | ||
| j4 | | Benjamin Aziz: A Semiring-based Quantitative Analysis of Mobile Systems. Electr. Notes Theor. Comput. Sci. 157(1): 3-21 (2006) |
| j3 | | 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) |
| c7 | | |
| 2005 | ||
| j2 | | 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) |
| j1 | | 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) |
| c6 | | Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert: Trading Off Security in a Service Oriented Architecture. DBSec 2005: 295-309 |
| c5 | | Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65 |
| 2004 | ||
| c4 | | Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart: Configuring Storage Area Networks for Mandatory Security. DBSec 2004: 357-370 |
| 2003 | ||
| c3 | | |
| e1 | | Joseph M. Morris, Benjamin Aziz, Frédéric Oehl (Eds.): 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing, BCS 2003 |
| 2001 | ||
| c2 | | |
| 2000 | ||
| c1 | | Benjamin Aziz, Christian Damsgaard Jensen: Adaptability in CORBA: The Mobile Proxy Approach. DOA 2000: 295-304 |
Colors in the list of coauthors
Last update Wed May 22 20:44:04 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page