Alejandro Mario Hernandez

Globally reasoning about localised security policies in distributed systems pdf

Alejandro Mario Hernandez, A. Hernandez, 2012, ArXiv.

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems

Flemming Nielson, Hanne Riis Nielson, Alejandro Mario Hernandez, 2011, Sci. Ann. Comput. Sci..

A generic approach for security policies composition: position paper

Flemming Nielson, Alejandro Mario Hernandez, 2012, PLAS '12.

History-sensitive versus future-sensitive approaches to security in distributed systems

Flemming Nielson, Alejandro Mario Hernandez, 2010, ICE.

Distributed security in closed distributed systems

Alejandro Mario Hernandez, 2012 .