Synthesis of secure adaptors
From MaRDI portal
Publication:764381
DOI10.1016/j.jlap.2011.08.001zbMath1236.68062MaRDI QIDQ764381
Publication date: 13 March 2012
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.2011.08.001
security verification; model-based adaptation; web service orchestration; WS-security; adaptor synthesis; partial model checking
94A60: Cryptography
68P25: Data encryption (aspects in computer science)
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software