“Security properties, process equiva-lences and automated veri cation”

SCHEME: INTER

CALL: 2014

DOMAIN: IS - Information Security and Trust Management

FIRST NAME: Peter Y. A.

LAST NAME: Ryan

INDUSTRY PARTNERSHIP / PPP: No

INDUSTRY / PPP PARTNER:

HOST INSTITUTION: University of Luxembourg

KEYWORDS:

START: 2015-02-01

END: 2019-01-31

WEBSITE: https://www.uni.lu

Submitted Abstract

Security properties, process equiva-lences and automated veri cation

This site uses cookies. By continuing to use this site, you agree to the use of cookies for analytics purposes. Find out more in our Privacy Statement