Items where Author is "Arenas, Alvaro"

Aziz, Benjamin, Arenas, Alvaro and Crispo, Bruno (2016) Engineering secure Internet of Things systems. Institution of Engineering and Technology.

Aziz, Benjamin, Arenas, Alvaro, Martinelli, Fabio, Mori, Paolo, Petrocchi, Marinella and Wilson, Michael (2012) Trust management for grid systems. In: Grid and Cloud Computing: Concepts, Methodologies, Tools and Applications. IGI Global, pp. 1033-1061.

Aziz, Benjamin, Arenas, Alvaro and Wilson, Michael D. (2011) SecPAL4DSA: A Policy Language for Specifying Data Sharing Agreements. In: Secure and Trust Computing, Data Management and Applications - 8th FTRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings.

Aziz, Benjamin, Arenas, Alvaro, Johnson, Ian, Artac, Matej, Cernivec, Ales and Robinson, Philip (2010) Management of Security Policies in Virtual Organisations. In: SECRYPT 2010 - Proceedings of the International Conference on Security and Cryptography, Athens, Greece, July 26-28, 2010, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications.

Aziz, Benjamin, Arenas, Alvaro, Cortese, Giovanni, Crispo, Bruno and Causetti, Silvio (2010) A Secure and Scalable Grid-Based Content Management System. In: ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland.

Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Ponsard, Christophe and Massonet, Philippe (2009) From Goal-Oriented Requirements to Event-B Specifications. In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Stagni, Federico, Arenas, Alvaro, Aziz, Benjamin and Martinelli, Fabio (2009) On Usage Control in Data Grids. In: Trust Management III, Third IFIP WG 11.11 International Conference, IFIPTM 2009 , West Lafayette, IN, USA, June 15-19, 2009. Proceedings.

Stagni, Federico, Arenas, Alvaro, Aziz, Benjamin and Martinelli, Fabio (2009) On usage control in data grids. In: Trust Management III: Third IFIP WG 11.11 International Conference, IFIPTM 2009, West Lafayette, IN, USA, June 15-19, 2009. Proceedings 3.

Barker, Adam, Aziz, Benjamin, Arenas, Alvaro, Johnson, Ian, Matthews, Brian and Yang, Erica (2009) Trust management of dynamic virtual organisations in xtreemOS. In: UK e-Science 2009 All Hands Meeting.

Aziz, Benjamin, Arenas, Alvaro, Martinelli, Fabio, Matteucci, Ilaria and Mori, Paolo (2008) Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. In: Trust, Privacy and Security in Digital Business, 5th International Conference, TrustBus 2008, Turin, Italy, September 4-5, 2008, Proceedings.

Aziz, Benjamin, Arenas, Alvaro, Martinelli, Fabio, Matteucci, Ilaria and Mori, Paolo (2008) Controlling usage in business process workflows through fine-grained security policies. In: Trust, Privacy and Security in Digital Business: 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings 5.

Naqvi, Syed, Massonet, Philippe, Aziz, Benjamin, Arenas, Alvaro, Martinelli, Fabio, Mori, Paolo, Blasi, Lorenzo and Cortese, Giovanni (2008) Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. In: Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings.

Naqvi, Syed, Massonet, Philippe, Aziz, Benjamin, Arenas, Alvaro, Martinelli, Fabio, Mori, Paolo, Blasi, Lorenzo and Cortese, Giovanni (2008) Fine-Grained Continuous Usage Control of Service Based Grids--The GridTrust Approach. In: Towards a Service-Based Internet: First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings 1.

Martinelli, Fabio, Petrocchi, Marinella, Matteucci, Ilaria, Orlov, Alexey, Starostin, Dmitry, Sbodio, Marco Luca, Arenas, Alvaro, Aziz, Benjamin, Crompton, Shirley and Wilson, Michael (2008) Methodologies and tools for data sharing agreement infrastructure.

Arenas, Alvaro, Aziz, Benjamin, Bicarregui, Juan, Matthews, Brian and Yang, Erica Y. (2008) Modelling Security Properties in a Grid-based Operating System with Anti-Goals. In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain.

Crompton, Shirley, Aziz, Benjamin, Wilson, Michael, Arenas, Alvaro and Matthews, Brian (2008) Requirements specification for the sharing sensitive scientific data test bed.

Bicarregui, Juan, Arenas, Alvaro, Aziz, Benjamin, Massonet, Philippe and Ponsard, Christophe (2008) Towards Modelling Obligations in Event-B. In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings.

Blasi, Lorenzo, Arenas, Alvaro, Aziz, Benjamin, Mori, Paolo, Rovati, Umberto, Crispo, Bruno, Martinelli, Fabio and Massonet, Philippe (2008) A secure environment for grid-based supply chains. In: Proceedings of the eChallenges e-2008 Conference.

Arenas, Alvaro, Aziz, Benjamin, Bicarregui, Juan and Matthews, Brian (2007) Managing Conflicts of Interest in Virtual Organisations. In: Proceedings of the 3rd International Workshop on Security and Trust Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007.

Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Matthews, Brian and Yang, Erica (2007) A formal security requirements model for a grid-based operating system. In: FACS 2007 Christmas Workshop: Formal Methods in Industry.