A semantics for web services authentication
From MaRDI portal
Publication:5899514
DOI10.1145/964001.964018zbMath1325.68140MaRDI 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
94A60: Cryptography
68Q60: Specification and verification (program logics, model checking, etc.)
68M12: Network protocols
94A62: Authentication, digital signatures and secret sharing
68M11: Internet topics
Related Items