Contracts for security adaptation

DOI10.1016/j.jlap.2010.07.001zbMath1213.68615OpenAlexW2052240431MaRDI QIDQ541291

Yong-Cai Geng, Sumit K. Garg

Publication date: 7 June 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.07.001

zbMATH Keywords

adaptation contractsmodel-based adaptationsecurity specificationweb service orchestrationWS-security

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Automated verification of automata communicating via FIFO and bag buffers ⋮ Synthesis of secure adaptors

Uses Software

• WSAT
• LTSA-WS
• ITACA
• DCMTB

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• Component adaptation through flexible subservicing
• Analyzing security protocols with secrecy types and logic programs
• Automatic Generation of Adaptation Contracts
• Coordination Models and Languages

This page was built for publication: Contracts for security adaptation