SeVe: automatic tool for verification of security protocols

zbMath1251.68142MaRDI QIDQ1762179

Jun Sun, Yang Liu, Jin-Song Dong, Anh-Tuan Luu

Publication date: 15 November 2012

Published in: Frontiers of Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checkingprivacyauthenticationsecrecysecurity protocolsprocess analysis toolkit (PAT)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items (2)

Probability timed automata for investigating communication processes ⋮ SeVe

Uses Software

• AVISPA
• ProVerif
• Casper
• PAT

This page was built for publication: SeVe: automatic tool for verification of security protocols