CASPA: Causality-based Abstraction for Security Protocol Analysis

Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim
(2008) CASPA: Causality-based Abstraction for Security Protocol Analysis.
In: Proceedings of 20th International Conference on Computer Aided Verification (CAV).
Conference: CAV - Computer Aided Verification

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item