Non-repudiation analysis using \textsc{LySa} with annotations

DOI10.1016/j.cl.2010.04.002zbMath1387.68035OpenAlexW2080836433MaRDI QIDQ1749255

Agostino Cortesi, Mayla Brusò

Publication date: 16 May 2018

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2010.04.002

zbMATH Keywords

securitystatic analysisprocess calculuscontrol flow analysis

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Cites Work

• Information and Communications Security
• A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-repudiation analysis using \textsc{LySa} with annotations