Alejandro Mario Hernandez

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Deadlock Detection

Security Policies

Access Control Systems

Distributed Systems

Top Venues

Publications

Alejandro Mario Hernandez
Globally reasoning about localised security policies in distributed systems CoRR (2012)
Alejandro Mario Hernandez, Flemming Nielson
A generic approach for security policies composition: position paper. PLAS (2012)
Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Alejandro Mario Hernandez, Flemming Nielson
History-sensitive versus future-sensitive approaches to security in distributed systems ICE (2010)