Static Detection of Logic Flaws in Service-Oriented Applications

DOI10.1007/978-3-642-03459-6_5MaRDI QIDQ3184713zbMATH OpenOpenAlexFDO

Authors Chiara Bodei, Linda Brodo, Roberto Bruni

Publication date 22 October 2009

Published in Foundations and Applications of Security Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03459-6_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Data encryption (aspects in computer science) (68P25) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• A Logic-Programming Semantics of Services
• Service-oriented logic programming
• \textsf{CaPiTo}: Protocol stacks for services
• Security issues in service composition
• Logical foundations of services

Cited in

(2)

• The \texttt{link}-calculus for open multiparty interactions
• CaSPiS: a calculus of sessions, pipelines and services

This page was built for publication: Static Detection of Logic Flaws in Service-Oriented Applications

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