Liviu Pene

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 2

Top Topics

Security Management

Security Policies

Top Venues

Publications

Kamel Adi, Lamia Hamza, Liviu Pene
Automatic security policy enforcement in computer systems. Comput. Secur. 73 (2018)
Liviu Pene, Lamia Hamza, Kamel Adi
Compliance Verification Algorithm for Computer Systems Security Policies. MCETECH (2017)
Kamel Adi, Liviu Pene, L. Sullivan
Games for non-repudiation protocol correctness. Int. J. Wirel. Mob. Comput. 4 (4) (2010)
Kamel Adi, Liviu Pene
Formal Reasoning for Security Protocol Correctness. SoMeT (2008)
Liviu Pene, Kamel Adi
A Calculus for Distributed Firewall Specification and Verification. SoMeT (2006)
Kamel Adi, Liviu Pene
Secrecy Correctness for Security Protocols. DFMA (2005)