\textsf{CaPiTo}: Protocol stacks for services

DOI10.1007/S00165-011-0174-7MaRDI QIDQ640297zbMATH OpenOpenAlexWikidataFDO

Authors Han Gao, Flemming Nielson, Hanne Riis 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

communication protocolsformal verificationprocess algebrasstandardised protocol stacks

Mathematics Subject Classification ID

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

Recommendations

• Specifying and Analysing SOC Applications with COWS
• Security issues in service composition
• Analysis of security protocols as open systems
• Capability passing processes
• CaSPiS: a calculus of sessions, pipelines and services

Cites work

• \textsf{CaPiTo}: Protocol stacks for services
• A calculus for cryptographic protocols: The spi calculus
• A Calculus for Orchestration of Web Services
• Flow logic for process calculi
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• Performance evaluation of security protocols specified in LySa
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols

Cited in

(2)

• Static Detection of Logic Flaws in Service-Oriented Applications
• \textsf{CaPiTo}: Protocol stacks for services

Describes a project that uses

Uses Software

• COWS
• OFMC
• ProVerif

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640297)