\textsf{CaPiTo}: Protocol stacks for services

DOI10.1007/S00165-011-0174-7zbMath1226.68029OpenAlexW2066189292WikidataQ59416329 ScholiaQ59416329MaRDI QIDQ640297

Hanne Riis Nielson, Han Gao, Flemming Nielson

Publication date: 18 October 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0174-7

zbMATH Keywords

formal verificationprocess algebrascommunication protocolsstandardised protocol stacks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

\textsf{CaPiTo}: Protocol stacks for services

Uses Software

• ProVerif
• COWS
• OFMC

Cites Work

• \textsf{CaPiTo}: Protocol stacks for services
• A calculus for cryptographic protocols: The spi calculus
• Flow Logic for Process Calculi
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• A Calculus for Orchestration of Web Services
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \textsf{CaPiTo}: Protocol stacks for services