Formal Verification of Cryptographic Protocols
Luca DurantePolytechnic University of Turin
2009en
ABI
Аннотация
Аннотация отсутствует.
Темы
Цитирования и источники
Цитирований: 0Использованных источников: 35
Показатели — AkademScholar · Скоро
Продукты
Для разработчиков
AkademBaseОткрытый API экосистемыАннотация отсутствует.