Alejandro Mario Hernandez

According to our database, Alejandro Mario Hernandez authored at least 4 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Globally reasoning about localised security policies in distributed systems

Alejandro Mario Hernandez

CoRR, 2012

A generic approach for security policies composition: position paper.

Alejandro Mario Hernandez, Flemming Nielson

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

2011

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

Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson

Sci. Ann. Comput. Sci., 2011

2010

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

Alejandro Mario Hernandez, Flemming Nielson

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010