Verified Reference Implementations of WS-Security Protocols

By Karthikeyan Bhargavan, Cédric Fournet, A. Gordon. Web Services and Formal Methods, 2006

316 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems

View Paper: https://www.semanticscholar.org/paper/aff2a1217dbd977601731d5d526f3d13be4b4c93