Formal verification of the Secure Sockets Layer protocol
- Tobarra, L.
- Cazorla, D.
- Pardo, J.J.
- Cuartero, F.
Konferenzberichte:
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems
ISBN: 9789898111388
Datum der Publikation: 2008
Ausgabe: 2 ISAS
Seiten: 246-252
Art: Konferenz-Beitrag