Marcin Olszewski - Publications - Bridge of Knowledge

mgr inż. Marcin Olszewski

Employment

No data

Keywords Help

Publications

results on page:
year:
- selected sort by year newest first
- sort by year oldest first
title:
- selected sort by title A-Z
- sort by title Z-A
citation:
- sort by citation descending
- sort by citation ascending

Filters

total: 1

Year 2004

A model-based approach to analysis of authentication protocols.
Publication
- J. Górski
- M. Olszewski
- M. (. Olszewski
- Year 2004
W referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...

seen 316 times