A semantics for web services authentication
- 13 June 2005
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 340 (1) , 102-153
- https://doi.org/10.1016/j.tcs.2005.03.005
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Private authenticationTheoretical Computer Science, 2004
- TulaFale: A Security Tool for Web ServicesPublished by Springer Nature ,2004
- Web services are not distributed objectsIEEE Internet Computing, 2003
- A comparison of three authentication propertiesTheoretical Computer Science, 2003
- Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDRPublished by Springer Nature ,1996
- 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