Static Detection of Logic Flaws in Service-Oriented Applications
From MaRDI portal
Publication:3184713
DOI10.1007/978-3-642-03459-6_5zbMath1252.68106OpenAlexW1598280950MaRDI QIDQ3184713
Chiara Bodei, Roberto Bruni, Linda Brodo
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
Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (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
