A semantics for web services authentication
- 1 January 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 39 (1) , 198-209
- https://doi.org/10.1145/964001.964018
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The essence of XMLPublished by Association for Computing Machinery (ACM) ,2003
- US Secure Hash Algorithm 1 (SHA1)Published by RFC Editor ,2001
- Mobile values, new names, and secure communicationPublished by Association for Computing Machinery (ACM) ,2001
- Authentication primitives and their compilationPublished by Association for Computing Machinery (ACM) ,2000
- Three systems for cryptographic protocol analysisJournal of Cryptology, 1994
- A logic of authenticationProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
- Integrating security in a large distributed systemACM Transactions on Computer Systems, 1989
- End-to-end arguments in system designACM Transactions on Computer Systems, 1984
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978