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, Fremantle, Paul and Arenas, Alvaro (2016) A reputation model for the internet of things. Engineering Secure Internet of Things Systems; Aziz, B., Aranas, A., Crispo, B., Eds.

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.

Arenas, Alvaro, Aziz, Benjamin, Maj, Szymon and Matthews, Brian (2011) An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). In: Towards a Service-Based Internet - 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings.

Aziz, Benjamin, Arenas, Alvaro and Wilson, Michael (2011) Model-Based Refinement of Security Policies in Collaborative Virtual Organisations. In: Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings.

Aziz, Benjamin, Arenas, Alvaro and Wilson, Michael (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.

Arenas, Alvaro, Aziz, Benjamin, Bicarregui, Juan and Wilson, Michael (2010) An Event-B Approach to Data Sharing Agreements. In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. 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, Johnson, I, Artac, M, Cernivec, A and Robinson, P (2010) Management of security policies in virtual organisations. International Conference on Security and Cryptography.

Arenas, Alvaro, Aziz, Benjamin and Johnson, Ian (2010) Methodology and design alternatives for trust services in xtreemOS.

Arenas, Alvaro, Aziz, Benjamin and Silaghi, Gheorghe Cosmin (2010) Reputation management in collaborative computing systems. Secur. Commun. Networks, 3 (6). pp. 546-564.

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.

Matthews, Brian, Arenas, Alvaro and Aziz, Benjamin (2009) Erica Y. Yang. POLICY.

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 (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.

Arenas, Alvaro, Crompton, S, Matthews, B, Wilson, M, Aziz, Benjamin, Lupu, E, Scalavino, E, Martinelli, F and Petrocchi, M (2008) Security policies in scientific data sharing agreements. In: Science All Hands Meeting.

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.