A semantics for web services authentication
From MaRDI portal
Publication:5899514
DOI10.1145/964001.964018zbMath1325.68140OpenAlexW1985170326MaRDI QIDQ5899514
Karthikeyan Bhargavan, Andrew D. Gordon, Cédric Fournet
Publication date: 11 November 2015
Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6857
Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62) Internet topics (68M11)
Related Items (1)
This page was built for publication: A semantics for web services authentication