History-sensitive versus future-sensitive approaches to security in distributed systems - Alejandro Mario Hernandez; Flemming Nielson (ICE, 2010)

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. - Alejandro Mario Hernandez; Flemming Nielson; Hanne Riis Nielson (Sci. Ann. Comput. Sci., 2011)

A generic approach for security policies composition: position paper. - Alejandro Mario Hernandez; Flemming Nielson (PLAS, 2012)

Globally reasoning about localised security policies in distributed systems - Alejandro Mario Hernandez (CoRR, 2012)