A semantics for web services authentication

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Theoretical Computer Science

• Publication date

  2004-01-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/964001.964018
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Public-Key Cryptography Standards (PKCS) #1: RSA Cryptography Specifications Version 2.1

  2003cited by this paper
• The essence of XML

  2003cited by this paper
• A comparison of three authentication properties

  2003cited by this paper
• about the Internet and Networking : 2010 – 2019

  2003cited by this paper
• Web Services Are Not Distributed Objects

  2003cited by this paper
• Web Services Security

  2003cited by this paper
• TulaFale: A Security Tool for Web Services

  2003cited by this paper
• Securing SOAP e-services

  2002cited by this paper
• Hiding Names: Private Authentication in the Applied Pi Calculus

  2002cited by this paper
• The Processes

  2002cited by this paper
• Web Services Security Addendum

  2002cited by this paper
• Towards securing XML Web services

  2002cited by this paper
• From Secrecy to Authenticity in Security Protocols

  2002cited by this paper
• Private Authentication

  2002cited by this paper
• Web Services Routing Protocol (WS-Routing)

  2001cited by this paper
• An efficient cryptographic protocol verifier based on prolog rules

  2001cited by this paper
• US Secure Hash Algorithm 1 (SHA1)

  2001cited by this paper
• XML-Signature Syntax and Processing

  2001cited by this paper
• Mobile values, new names, and secure communication

  2001cited by this paper
• Simple object access protocol (SOAP) 1.1

  2000cited by this paper
• Authentication primitives and their compilation

  2000cited by this paper
• Communicating and Mobile Systems: the π-calculus,

  2000cited by this paper
• TAPS: a first-order verifier for cryptographic protocols

  2000cited by this paper
• Communicating and mobile systems - the Pi-calculus

  1999cited by this paper
• The TLS Protocol Version 1.0

  1999cited by this paper
• Strand spaces: proving security protocols correct

  1999cited by this paper
• The inductive approach to verifying cryptographic protocols

  1998cited by this paper
• Term rewriting and all that

  1998cited by this paper
• A hierarchy of authentication specifications

  1997cited by this paper
• HMAC: Keyed-Hashing for Message Authentication

  1997cited by this paper
• Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR

  1996cited by this paper
• Breaking and Fixing the Needham-Schroeder Public-Key Protocol using CSP and FDR

  1996cited by this paper
• Secure network objects

  1996cited by this paper
• The TLS Protocol

  1996cited by this paper
• Three systems for cryptographic protocol analysis

  1994cited by this paper
• A semantic model for authentication protocols

  1993cited by this paper
• A logic of authentication

  1990cited by this paper
• Integrating security in a large distributed system

  1989cited by this paper
• End-to-end arguments in system design

  1984cited by this paper
• On the security of public key protocols

  1981influential reference
• Using encryption for authentication in large networks of computers

  1978cited by this paper
• Advanced search IBM home | Products services | Support downloads | My account IBM developerWorks : Web services | Security : Web services articles | Security articles

  year unknowncited by this paper
• Under Consideration for Publication in Formal Aspects of Computing Validating a Web Service Security Abstraction by Typing

  year unknowncited by this paper

• Vulnerability of Cloud: Analysis of XML Signature Wrapping Attack and Countermeasures

  2020cites this paper
• Workflow Integration Alleviates Identity and Access Management in Serverless Computing

  2020cites this paper
• WSEmail

  2019cites this paper
• Web service registration and routing system and inter web proxy service model prevents the message alteration attacks, man-in-the middle attacks

  2017cites this paper
• Analyzing the Secure WS-ReliableMessaging Scenario in a Symbolically Sound Manner (Long Version)

  2016cites this paper
• Seguridad informática de un sistema basado en ontología de control vía Web de dispositivos domóticos

  2016cites this paper
• Cryptographically Verified Design and Implementation of a Distributed Key Manager

  2014cites this paper
• A Conceptual Technique for Modelling Security as a Service in Service Oriented Distributed Systems

  2014cites this paper
• An adaptable distributed trust management framework for large-scale secure service-based systems

  2014cites this paper
• Validation of security protocol implementations from security objectives

  2013cites this paper
• Automatic verification of protocols with lists of unbounded length

  2013cites this paper
• Making XML Signatures Immune to XML Signature Wrapping Attacks

  2012cites this paper
• XSpRES - Robust and Effective XML Signatures for Web Services

  2012cites this paper
• Flexible Quality of Service Management of Web Services Orchestrations. (Gestion Flexible de la Qualité de Service dans les Orchestrations de Services Web)

  2012cites this paper
• Secure Two-Round Message Exchange

  2011cites this paper
• Verifying Authenticity in Interactive Behaviors of SemanticWeb Services

  2011cites this paper
• A probabilistic BPEL-like language

  2010cites this paper
• A low-cost secure schemes for authentications and access control with the use of multiple public IC cards

  2010cites this paper
• Selective Service Provenance in the VRESCo Runtime

  2010cites this paper
• Modular verification of security protocol code by typing

  2010cites this paper
• Hyperdistribution of Contextual Information

  2010cites this paper
• OWL-based verifying temporal properties for pervasive computing

  2010cites this paper
• Browser-based identity federation

  2010cites this paper
• Design and Verification of a Crypto-Agile Distributed

  2010cites this paper
• A security E-government model based on service-oriented architecture

  2010cites this paper
• Formalizing and Verifying Authenticity over Assertion Changes for An Interaction Protocol

  2010cites this paper
• Computationally secure two-round authenticated message exchange

  2010cites this paper
• An Electronic Commerce Security Model Based on SOA

  2009cites this paper
• Service Provenance in QoS-Aware Web Service Runtimes

  2009cites this paper
• Planning and verifying service composition

  2009cites this paper
• XML Signature Wrapping Angriffe

  2009cites this paper
• Vulnerable Cloud: SOAP Message Security Validation Revisited

  2009cites this paper
• A framework towards enhancing trust and authorisation for e-commerce service

  2009cites this paper
• End User Authentication (EUA) Model and Password for Security

  2009cites this paper
• Discovering Communities of Interest in a Tagged On-Line Environment

  2009cites this paper
• Transaction Calculus - (Invited Paper)

  2008cites this paper
• Extended pi-Calculi

  2008cites this paper
• Programming service oriented applications 1

  2008cites this paper
• Verified implementations of the information card federated identity-management protocol

  2008cites this paper
• Evaluation of digital identity using Windows CardSpace

  2008cites this paper
• Verifying policy-based web services security

  2008cites this paper
• Semantics-Based Design for Secure Web Services

  2008cites this paper
• Transaction Calculus

  2008cites this paper
• Programming service oriented applications

  2008cites this paper
• Specifying and Implementing Secure Mobile Applications

  2008cites this paper
• Modelling Coordination and Compensation

  2008cites this paper
• Secure Service Orchestration

  2007cites this paper
• Secure sessions for web services

  2007cites this paper
• UTP semantics for web services

  2007cites this paper
• Proceedings of the Second Workshop on Introducing Service-Oriented Computing WISOC 2007 Tempe, Spring 2007

  2007cites this paper
• Compensable programs

  2007cites this paper
• Secure Emails in XML Format Using Web Services

  2007cites this paper
• A model for BPEL-like languages

  2007cites this paper
• Specifying and implementing secure mobile applications in the channel ambient system

  2006cites this paper
• Adding Security to Web Services: An Automatic, Verifiable, and Centralized Mechanism for Web Services Input Validation

  2006cites this paper
• Specification and security analysis of mobile ad-hoc networks

  2006cites this paper
• Development and Runtime Support for Situation-Aware Security in Autonomic Computing

  2006cites this paper
• Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

  2006cites this paper
• Verified interoperable implementations of security protocols

  2006influential citation
• Types and effects for secure service orchestration

  2006cites this paper
• Scyther : semantics and verification of security protocols

  2006cites this paper
• Security Issues in Service Composition

  2006cites this paper
• Securing the drop-box architecture for assisted living

  2006cites this paper
• Research Report SAML Artifact Information Flow Revisited

  2006cites this paper
• AMPol: Adaptive Messaging Policy

  2006cites this paper
• SAML artifact information flow revisited

  2006cites this paper
• Verified Reference Implementations of WS-Security Protocols

  2006cites this paper
• Browser Model for Security Analysis of Browser-Based Protocols

  2005cites this paper
• Language-based security

  2005cites this paper
• Reasoning about XACML policies using CSP

  2005cites this paper
• Proving a WS-federation passive requestor profile with a browser model

  2005cites this paper
• Towards an Integrated Formal Analysis for Security and Trust

  2005cites this paper
• Tailoring the Dolev-Yao abstraction to web services realities

  2005cites this paper
• Specifying Secure Mobile Applications

  2005cites this paper
• PROVI . 1 First Summary Report on Two-Party Protocols

  2005cites this paper
• Enforcing secure service composition

  2005cites this paper
• Specifying Web Service Recovery Support with Conversations

  2005cites this paper
• Towards a formal framework for choreography

  2005cites this paper
• WSEmail: secure Internet messaging based on Web services

  2005cites this paper
• Verifying Web Services Security Configurations

  2005cites this paper
• Choreography and Orchestration: A Synergic Approach for System Design

  2005cites this paper
• An advisor for web services security policies

  2005cites this paper
• Secure sessions for Web services

  2004influential citation
• Proving a WS-Federation passive requestor profile

  2004cites this paper
• Web Services Security: a preliminary study using Casper and FDR

  2004cites this paper
• Trust but verify: authorization for web services

  2004cites this paper
• Verifying policy-based security for web services

  2004cites this paper
• Model-Checking of Safety and Security Aspects in Web Service Flows

  2004cites this paper
• The Program Chairs of the ARSPA Workshop

  2004cites this paper
• Software architecture for mobile distributed computing

  2004cites this paper
• TulaFale: A Security Tool for Web Services

  2003cites this paper
• about the Internet and Networking : 2010 – 2019

  2003cites this paper
• Under Consideration for Publication in Formal Aspects of Computing Validating a Web Service Security Abstraction by Typing

  year unknowncites this paper
• Second Summary Report on Two-party Protocols Second Summary Report on Two-party Protocols

  year unknowncites this paper
• Trusting the Netw ork

  year unknowncites this paper
• Specifying and Implementing Secure Mobile Applications 1.1 Introduction

  year unknowncites this paper
• Trusting the Network

  year unknowncites this paper