Validating a web service security abstraction by typing

DOI10.1007/S00165-004-0058-1zbMath1080.68523OpenAlexW2125634737WikidataQ130991563 ScholiaQ130991563MaRDI QIDQ2576588

Riccardo Pucella, Andrew D. Gordon

Publication date: 13 December 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-004-0058-1

zbMATH Keywords

AuthenticationWeb servicesType systemsRemote procedure call

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25)

Related Items (3)

Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA ⋮ A semantics for web services authentication ⋮ Modelling dynamic web data

This page was built for publication: Validating a web service security abstraction by typing