Liviu Pene

According to our database, Liviu Pene authored at least 6 papers between 2005 and 2018.

Collaborative distances:

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

2018

Automatic security policy enforcement in computer systems.

Kamel Adi, Lamia Hamza, Liviu Pene

Comput. Secur., 2018

2017

Compliance Verification Algorithm for Computer Systems Security Policies.

Liviu Pene, Lamia Hamza, Kamel Adi

Proceedings of the E-Technologies: Embracing the Internet of Things, 2017

2010

Games for non-repudiation protocol correctness.

Kamel Adi, Liviu Pene, L. Sullivan

Int. J. Wirel. Mob. Comput., 2010

2008

Formal Reasoning for Security Protocol Correctness.

Kamel Adi, Liviu Pene

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

2006

A Calculus for Distributed Firewall Specification and Verification.

Liviu Pene, Kamel Adi

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

2005

Secrecy Correctness for Security Protocols.

Kamel Adi, Liviu Pene

Proceedings of the 1st International Conference on Distributed Frameworks for Multimedia Applications (DFMA 2005), 2005