Mechanized verification of Security Protocols Using Causality-based Abstractions

Pecina, Kim
(2007) Mechanized verification of Security Protocols Using Causality-based Abstractions.
Bachelors thesis, Saarland University.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item