Protocol engineering for web services conversations

TL;DR: The concept of k-trustworthiness is introduced that defines the conversations for which a client can provide credentials maximizing the likelihood that it will eventually hit a final state and avoids situations where the client cannot progress in the conversation due to the lack of required security requirements.

TL;DR: The formal definitions underlying the model and the relevant algorithms, such as the access control algorithm, are provided and an encoding of the model in the Web Services Description Language (WSDL) standard is presented, required to support Ws-AC1.

TL;DR: This paper proposes a novel dependable negotiation framework where services, needed credentials, and behavioral constraints on the disclosure of privileges are bundled together.

TL;DR: A framework based on an agreement containing a privacy model defined in the policy level of the agreement and a negotiation protocol is proposed that enable ongoing privacy negotiation to be translated into a new privacy agreement.

TL;DR: A theory of speech acts is proposed in this paper. But it is not a theory of language, it is a theory about the structure of illocutionary speech acts and not of language.

TL;DR: A theory of speech acts is proposed in this article. But it is not a theory of language, it is a theory about the structure of illocutionary speech acts and not of language.

TL;DR: This book focuses on executable processes and comes back to abstract processes in Chapter 4, which can be used to replace sets of rules usually expressed in natural language, which is often ambiguous.

TL;DR: In this article, the contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed problem solver, where task distribution is affected by a negotiation process, a discussion carried on between nodes with tasks to be executed and nodes that may be able to execute those tasks.