Union Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis

Hriţcu, Cătălin
(2011) Union Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis.
Doctoral thesis, Saarland University.

Full text not available from this repository.
Item Type: Thesis (Doctoral)
Additional Information: pub_id: 852 Bibtex: hri_11:phd URL date: None
Uncontrolled Keywords: phd-thesis
Divisions: Michael Backes (InfSec)
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:32
Last Modified: 18 Jul 2019 12:08
Primary Research Area: NRA1: Trustworthy Information Processing
URI: https://publications.cispa.saarland/id/eprint/1042

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.