Mutual authentication in a data network using automatic incremental credential disclosure

0001MUTUAL AUTHENTICATION IN A DATA NETWORK USING AUTOMATIC INCREMENTAL CREDENTIAL DISCLOSURE

0002Field of the Invention

0003The invention relates to the field of client/server (also known as "distributed") computing, where one computing device ("the client") requests another computing device ("the server") to perform part of the client's work.

0004Background of the Invention

0005Client/server computing has become more and more important over the past few years in the information technology world This type of distributed computing allows a software process (e.g., the client) running on one machine to delegate some of its work to a software process (e.g., the server) running on another machine that might be, for example, better suited to perform that work. The client and server could also be separate software processes running on the same machine.

0006In such client/server systems, it is very important that the client and the server develop a sufficient level of trust in each other before they engage in a meaningful interaction, because the information that may be exchanged during the client's request for server processing and/or the server's processing result which is returned to the client may be highly sensitive information Oftentimes, the client and the server have no prior relationship with each other and thus they must enter into some type of an initial conversation in order to determine whether they can trust each other before they disclose any potentially sensitive information A good example of where this is particularly useful is when the client is a World Wide Web browser application sending electronic commerce requests over the Internet to a World Wide Web server application On the initial interaction between these parties, the Web client and the Web server do not have any prior relationship and the Web client, for example, may be very reluctant to provide a credit card number to the Web server over the Internet

0007It is known in the prior art to exchange credentials (i.e , digitally signed assertions by the credential issuer about the credential owner) between a client and a server in order to develop trust between them. A credential is signed by using the issuer's private key and can be verified by using the issuer's public key. The credential aggregates one or more attributes of the owner, each attribute consisting of a name/value pair and describing some property of the owner asserted by the issuer. Each credential also contains the public key of the credential owner. The owner can use the corresponding private key to answer challenges or otherwise demonstrate ownership of the credential . The owner can also use the private key to sign another credential owned by a third entity.

0008Thus, as is well known in the prior art, credentials may be combined into chains, where the owner of one credential is the issuer of the next credential in the chain. These chains can be submitted to trace a web of trust from a known entity (the issuer of the first credential in the chain) to the submitting entity, in whom trust needs to be established. The submitting entity is the owner of the last credential in the chain. The submitting entity can demonstrate ownership of that credential by demonstrating possession of the private key mate of the public key contained therein. The other supporting credentials are owned by entities with whom the submitting entity has direct or indirect relationships, and although they are not owned by the submitting entity, the submitting entity does keep and submit copies of them. Each supporting credential contains the public key whose private key mate was used to sign the next credential in the chain.

0009All the submitted credentials are relevant to demonstrating a (possible indirect) relationship between the submitting entity and the known entity that issued the first credential in the chain. The nature of that relationship can be inferred by inspecting the attributes of the credentials in the chain. Multiple chains can be submitted to establish a higher degree of trust or to demonstrate additional properties of the submitting entity and its relationships with known entities.

0010Prior art techniques for using credentials to establish mutual trust can be divided into two basic approaches. The first approach is described by A. Frier, P. Karlton, and P. Kocher, "The SSL 3.0 Protocol", Netscape Communications Corporation, Nov 18, 1996; T. Dierks, C. Allen, "The TLS Protocol Version 1.0", draft-ietf-tls-protocol-06.txt, Nov 12, 1998; S. Farrell, "TLS Extensions for Attribute Certificate Based Authorization", draft-ietf-tls-attr-cert-01.txt, August 20, 1998. This approach will be referred to as the SSL approach, as it is used by SSL, TLS, and TLS with extensions for attribute-certificate-based authorization. In the SSL approach, the client and the server can exchange credentials as follows The server initiates the negotiation by unilaterally disclosing a pre-selected credential. It can include a request for client credentials, including the type of credential the server can accept and, in the attribute-certificate case, a template indicating the required attributes

0011The second approach is described by N. Chmg, V. Jones, and M.

0012Wmslett, "Authorization in the Digital Library: Secure Access to Services across Enterprise Boundaries", Proceedings of ADL '96 Forum on

0013Research and Technology Advances in Digital Libraries, Washington, DC, May 1996, available at http://drl.cs.uiuc.edu/security/pubs.html; and also by M. Wmslett, N. Clung, V. Jones, and I. Slepchm, "Using Digital

0014Credentials on the World-Wide Web", Journal of Computer Security, 5, 1997, 255-267, available at http://drl.cs.uiuc.edu/security/pubs-html. We will call this second approach the digital credentials approach. In this approach, when a request for service is made by a client to a server without adequate credentials attached, the server sends to the client a policy governing that service. A policy is a credential formula, that is, a logical combination of required credentials and expressed constraints on the attributes that they contain Policies can be used to characterize required properties of the submitting entity and its relationships with known entities. By receiving this policy as a request for credentials, the client has the opportunity to select in private credentials to submit to authorize service By sending policies to clients, servers off-load credential selection. The practice also enables different servers to have very different policies, requiring different client attributes and accepting credentials issued by different authorities

0015Both of these two prior art approaches support the server sending a request for credentials to the client, including a characterization of credentials that would be acceptable to the server However, the present inventors have noted deficiencies m this present state of the art as follows

0016In the SSL approacn, there s no opportunity for the server to authenticate any information about the client before disclosing the server's credential The server may regard its credential as highly confidential, and thus, if the client and server fail to establish mutual trust, then the server has turned over to the client a highly sensitive (confidential) piece of information. Furthermore, if the credential disclosed by the server does not satisfy the client, the client has no opportunity to request additional credentials from the server. This can be a serious problem when the client and server have no prior relationship. In that case it is unlikely that any single credential issuer would be an acceptable authority on all server attributes of interest to all clients.

0017The shortcoming of prior systems based on the digital credentials approach arises with credentials that the client wishes to disclose only to servers in whom some degree of trust has already been established. Prior systems developed using the digital credentials approach have supported client-credential submission policies that partitioned services into equivalence classes and then, for each equivalence class, assigned each client credential to one of two categories. Credentials in the first category could be submitted with any service request in the equivalence class. Those in the second category could be submitted only after interactively consulting the user for authorization. These consultations permitted the user to move credentials from the second category to the first, enabling subsequent automatic submission. However, the mechanism is not fully automated in that it requires a user be available to make trust decisions when new service classes are contacted.

0018Within the context of the digital credentials approach, an alternative technique is briefly described by Winslett, et al . (cited above) whereby the client can require server credentials to unlock disclosure of its own credentials. That technique can be used to implement a negotiation in which there is a single request for credentials by each participant. Each service is associated with a policy that is sent to the client by the server when the client requests that service. When the scenario is reversed, it is unclear what purpose is intended by having servers present credentials to clients. One possibility is to establish client trust for the general purpose of interacting with the server. Another is to establish trust specifically to encourage clients to disclose their credentials. In the latter case, the approach could be used to enable a client to require credentials from the server prior to disclosing any of its own credentials to that server. However, it would be impossible for the server then to request client credentials before disclosing its own credentials. Doing so would introduce a cyclic dependence, bringing the negotiation to deadlock, because in this model all client credentials are governed by the same policy and, hence, any subsequent server request would lead to an identical request from the client.

0019Summary of the invention

0020According to a first aspect the present invention provides a data processing apparatus for use in a client/server network where a client data processing apparatus sends a data processing request to the server data processing apparatus and the server data processing apparatus performs data processing based on the request and returns a reply to the client data processing apparatus, the data processing apparatus comprising: storage means for storing a plurality of local site credentials; means for receiving a first credentials request from an opposing site data processing apparatus, the credentials requested by the first credentials request being local site credentials stored in the storage means that satisfy a first logical expression provided with the first credentials request; and means for sending to the opposing site data processing apparatus a second credentials request which is dependent upon the contents of the first credentials request, the credentials requested by the second credentials request being opposing site credentials that satisfy a second logical expression provided with the second credentials request .

0021According to a second aspect, the invention provides a method of operating the data processing apparatus of the first aspect.

0022According to a third aspect, the invention provides a computer program product stored on a computer readable storage medium for, when run on a computer, carrying out the method steps of the second aspect.

0023According to a fourth aspect, the invention provides a computer data signal embodied in a carrier wave, the signal having program elements for instructing a computer to carry out the method steps of the second aspect.

0024Thus, the present invention extends the prior art digital credentials approach to support a sequence of interdependent requests for credential disclosures. In order to allow for a sequence of interdependent requests for credential disclosures, different credentials must be governed by different policies. The request for credentials that the client receives from the server is not for individual credentials, or even for a specific combination of credentials. Instead, it is for arbitrary credentials that satisfy a logical expression. In the present invention the incoming request for credentials is logically combined with the credentials actually possessed by the client, together with the access-control policy associated with each of those credentials, to derive a new request for opposing-site credentials. Thus, the present invention comprises any derivation of a respondent request for credentials from a local credential-access policy and an incoming request for credentials, except in the case where the respondent request is independent of the incoming request. And in the latter, excepted case, a sequence of incremental credential disclosures is impossible because of cyclic dependencies, as discussed above.

0025No prior solution explicitly recommends using credentials as a basis for governing credential disclosure. There is no mention of the problem of interdependencies between credentials and the need to require different credential-access policies for different policies to avoid certain deadlock. These are aspects of automating trust establishment between strangers who keep their credentials private that have been overlooked in the past .

0026There has also been no prior mention of dynamically synthesizing credential requests during trust establishment. Prior solutions have selected credential -request content from pre-existing policies.

0027The invention thus provides for fully automating trust negotiation between stranger data processing apparatuses who protect their credentials. Simple negotiation strategies can be applied immediately. More sophisticated techniques, which balance the concerns of successful negotiation and avoiding inadvertent disclosure of information about credentials held, can also be considered.

0028An important advantage provided by the present invention is that it enables trust to be established automatically, even when the parties involved require some knowledge of their counterparts before disclosing some of their credentials to them. In prior solutions, each participant had only one opportunity to present credentials within each negotiation, and one of the participants had to go first. Unlike prior solutions, the present invention does not require either negotiation participant to disclose its credentials all at once, without any knowledge of the other participant. To obtain a highly sensitive service, a client may have to submit a highly sensitive credential that it discloses only after first obtaining a moderately sensitive server credential. For this, the server may in turn require some less sensitive credential.

0029The present invention makes it possible to negotiate an arbitrary-length sequence of dependent credential exchanges. In some cases, such a sequence can enable a higher degree of trust to be negotiated than can a single exchange. This makes the new solution potentially very important in the context of e-business (i.e., electronic business) among strangers, where automated business negotiations will require a high degree of trust that the participants will bargain in good faith and handle disclosed information appropriately.

0030The present invention provides a basis for automatic negotiation of incremental credential disclosure. It does this by associating with each credential held at a local site an access policy based on opposing-site credentials and by providing for the logical combination of that policy with incoming requests for credentials to derive negotiation responses .

0031Brief Description of the Drawings

0032The present invention will be better understood by the detailed description of the preferred embodiments thereof, provided below in conjunction with the following drawing figures:

0033Figure 1 is a block diagram showing the software components according to a preferred embodiment of the present invention;

0034Figure 2 is a flowchart showing the processing steps carried out by a local site, according to a preferred embodiment of the present invention; and

0035Figure 3 is an exemplary timing diagram showing a sequence of requests and replies, according to a preferred embodiment of the present invention. Detailed Description of the Preferred Embodiments

0036In the preferred embodiment of the present invention, a plurality of data processing units are in communication with each other via a data communications network. In Figure 1 a local site 10 is shown in communication over the network (not shown) with an opposing site 11, both of these sites are data processing units in the preferred embodiment (in another embodiment they may be separate processes running on the same data processing unit) . Following the second prior art approach [Ching, et al., Winslett, et al.] discussed above, a data processing unit (i.e., negotiation participant) is represented in trust negotiations by a Security Agent 101, as pictured in Figure 1. Each negotiation participant can receive a request for credentials (Incoming Request for Credentials 21, Figure 1) . (Each request for credentials takes the form of a credential formula, as in the second prior art approach discussed above.) This request is for the disclosure of local-site credentials to the opposing site . The purpose of this disclosure can be either to unlock service, or to unlock disclosure of opposing-site credentials needed to further the trust negotiation. The immediate problem in furthering the negotiation is to determine whether the local site 10 has sufficient trust in the opposing site 11 to disclose the requested credentials and, if not, to construct a request for opposing-site credentials (Outgoing Request for Credentials 22) that could establish that trust.

0037As pictured in Figure 1, each site associates a credential access policy 102 with each of its own credentials 103. That access policy identifies opposing-site credentials that would unlock disclosure of the local-site credential. When a request for credentials 21 is received, the Security Agent 101 determines what action is appropriate. That determination is described in the following paragraphs in conjunction with the architectural diagram in Figure 1 and with the steps (31-37) of the flowchart pictured in Figure 2.

0038The actions of the Security Agent begin in step 31 when it receives from the opposing site a request for credentials 21 in the form of a logical expression. If the local site finds in step 32 that it does not possess credentials that satisfy the request (and if some kind of response is required, as when the Security Agent belongs to a server) , a refusal can be sent in step 33. Otherwise, the Security Agent must determine in step 34 whether sufficient trust has already been established in the opposing site to justify providing a combination of credentials that satisfies the request. Specif cally, opposing-site credentials 23 that accompany the request 21 or that are already cached locally 104 might satisfy the access policies 102 that govern local credentials 103 that, in turn, would satisfy the incoming request 21. In that case, the combination of local credentials, unlocked in this way and satisfying the incoming request 21, can immediately be sent 26 to the opposing site 11, as shown in step 35. When the current incoming request was received as the response to a previous request by the local site, that previous request can be repeated in step 35 in conjunction with the credentials being sent, under the presumption that those credentials will now engender trust to unlock fulfilment of the earlier request.

0039On the other hand, step 34 may determine that the locally-available, opposing-site credentials (23 and/or 104) are not sufficient to unlock a combination of locally-owned credentials 103 that satisfies the incoming request 21. In that case, in step 36 the Security Agent 101 derives an outgoing request 22 for further credentials from the opposing site 11 by logically combining the incoming request for credentials 21 with the local-site credential access policy 102. These opposing-site credentials ^■ are requested for the purpose of unlocking local -site credentials that have been requested by the opposing site. Thus, to avoid requesting credentials unnecessarily, the derivation process simplifies the request by taking into account which of the requested credentials the local-site actually possesses 103 and, moreover, by not requesting additional opposing-site credentials to unlock local-site credentials that are already unlocked by the accumulated 104 and/or incoming 23 opposing-site credentials .

0040In step 37, when the Security Agent 101 sends the request for further opposing-site credentials to unlock local-site credentials, it can choose at the same time to provide some local-site credentials that are already unlocked. For instance, it may provide some local-site credentials mentioned in the incoming request for credentials 21. While risking unnecessary credential disclosure, this negotiation- strategy decision can increase the likelihood and the speed with which the negotiation succeeds. It does so by increasing the chance that the opposing site will immediately provide the credentials being requested of it and by decreasing the chance that the opposing site will conclude that there is a cyclic interdependence within the two sites' combined credential-access policies and therefore abort the negotiation.

0041As shown in Figure 1, when a local site is a server and the opposing site is a client, the content of the message incoming to the server from the client can include a service request 24. Such a service request is a typical initial message in a negotiation of credential disclosure between a client and a server. Upon receiving a request for service 24, the server's Security Agent 101 applies a service-governing policy (not shown in Figure 1) to determine whether the opposing-site credentials 23 that accompany the request are sufficient to satisfy the service-governing policy (this is also true of the second prior art approach discussed above) . Although some servers are stateless and therefore do not retain client credentials after each client request, others may, like clients, cache opposing-site credentials 104. Such servers make use of cached opposing-site credentials 104, as well as those 23 that accompany the request to attempt to satisfy their service-governing policies. Whether or not cached-opposing-site credentials 104 are used, when the service-governing policy is satisfied, the service is authorized 25. Otherwise, the Security Agent 101 returns the service-governing policy, in the form of an outgoing request for credentials 22. Credential disclosure is then negotiated between the client and server and, if successful, the client can repeat the service request with sufficient credentials attached to authorize service. An example of such an exchange is shown in Figure 3.

0042In Figure 3, at stage 1, the client sends a request for a particular service to the server site, requesting that the server carry out a particular processing task (e.g., read access to a database) on behalf of the client. No credentials are attached to the request, presumably because the client does not know the credential policy governing that service. At stage 2, the server Security Agent sends the client Security Agent the service-governing policy, which informs the client Security Agent of its options regarding credentials to submit to engender sufficient trust on the server Security Agent's part to have the requested service carried out. This policy constitutes a request for credentials, and is treated as such when it is received by the client Security Agent in stage 3. The client Security Agent responds according to the steps discussed above in conjunction with the flowchart of Figure 2. That is, the client Security Agent receives the request for credentials (step 31) (to authorize the service requested in stage 1) . It determines that the client possesses at least one combination of credentials that satisfies the request (step 32) . It determines that there are not sufficient server credentials available locally to satisfy the access-control policies of the constituent credentials of any of those satisfactory combinations (step 34) . It therefore derives a new request (step 36) , designed to unlock such a satisfactory combination of its own credentials, which would in turn unlock the desired service. Finally, it sends that request to the server without any credentials attached. (In a variant of the example, the client might at this point attach to the outgoing request some credentials requested by the server in stage 2, for instance, if their access-control policies permitted them to be disclosed without prior knowledge of the server.)

0043Stage 4 begins when the server's Security Agent receives the request for credentials sent by the client at the end of stage 3. This request is again processed as discussed above in conjunction with the flowchart of Figure 2. The server's Security Agent determines that it has credentials that will satisfy the client Security Agent's request (step 32) and that they are not all unlocked for disclosure to the client Security Agent (step 34) (the server Security Agent has not yet received any credentials from the client Security Agent) . It derives a request (step 36) for client credentials intended to unlock the credentials requested of it by the client Security Agent, and sends it (step 37) to the client Security

0044Agent, along with some credentials the client Security Agent requested and whose access-control policies permit them to be disclosed without seeing any client credentials first.

0045Stage 5 begins when the client's Security Agent receives the request and the credentials sent by the server Security Agent at the end of stage 4. The client Security Agent determines that it has credentials that satisfy the request (step 32) , but that no satisfactory combination is composed of credentials whose access-control policies are unlocked by the server credentials received so far (step 34) . In an effort to unlock more of its own credentials, the client Security Agent then derives a new request for server credentials as follows (step 36) . It modifies the incoming request for credentials by replacing references to credentials it does not possess with the constant false. Then it replaces each remaining occurrence of a credential, which is does possess, by the access policy for that credential. The resulting formula, like those access policies, is expressed in terms of opposing-site credentials. It is next conjoined with the request for credentials previously sent by the client to the server at the end of stage 3, which may not yet be fully satisfied by the credentials received from the server. The Security Agent simplifies the resulting conjunction, to avoid requesting credentials unnecessarily. Simplification is done by eliminating from the formula each occurrence of a credential that the client Security Agent has already received and that satisfies the attribute constraints expressed in the formula. The resulting formula is simplified, treating eliminated credentials as the constant true and simplifying logical connectives accordingly. (An occurrence of true in a conjunction is simply eliminated; an empty conjunction is replaced by true; a disjunction containing true is replaced by true.) Finally, the client Security Agent sends the formula it has derived and simplified in this way, sending as well any credentials requested in the incoming request whose access-control policies are unlocked by server credentials received at the start of this stage.

0046Stage 6 begins when the server's Security Agent receives the request and the credentials sent to it by the client Security Agent at the end of stage 5. The server Security Agent determines that it has credentials that satisfy the request (step 32) , but that they are not all unlocked (step 34) . It then derives a a new request for client credentials (step 36) by much the same procedure illustrated on the client side in Stage 5. The principal difference in the derivation on the server side from that on the client side is that, in the negotiation strategy illustrated in this example, the server does not reuse its prior requests for client credentials .

0047Stage 7 begins when the client's Security Agent receives the request and the credentials sent by the server Security Agent at the end of stage 6. The client Security Agent determines that it has at least one combination of credentials that satisfies the request (step 32) . The client now has received sufficient server credentials to unlock such a combination of credentials (step 34) . So it sends one such combination to the server at the end of stage 7, along with the same request for credentials that it sent to the server at the end of stage 5.

0048Stage 8 begins when the server's Security Agent receives the repeated request and the credentials sent to it by the client at the end of stage 7. The server Security Agent determines that it has credentials that satisfy the request (step 32) and that they are unlocked (step 34) because their access-control policies are satisfied by client credentials sent by the client at the end of stage 7. It then sends those credentials to the client.

0049Stage 9 begins when the client's Security Agent receives the credentials sent by the server at the end of stage 8. Those credentials, together with credentials received by the client Security Agent at the start of stages 5 and 7, and cached by the client Security Agent since that time, satisfy the access-control policies of client credentials that satisfy the service-governing policy received by the client Security Agent in stage 3. The client Security Agent then sends a combination of unlocked credentials that together satisfy the service-governing policy. It also repeats the original service request .

0050Stage 10 begins when the server' s Security Agent receives the service request and the credentials sent by the client at the end of stage 9. Those credentials satisfy the service-governing policy, so the service is authorized, performed, and its result, returned. It is received by the client in stage 11, which concludes the example.

EXAMPLE NEGOTIATION

0052The example presented here illustrates the eleven steps of the hypothetical negotiation pictured schematically in Figure 3. It is intended to illustrate the manipulation of formulas, as prescribed by the preferred embodiment of the present invention. The formulas are expressed informally. The example is for illustration only and is not intended to accurately characterize any real negotiation, credentials, or policies.

0053Hypothetical Credentials

0054Each credential's entry begins with the abbreviation used for that credential in the rest of the example.

0055Security-Practices Credentials -- Held by Both Client and Server

0056We suppose that Security-Practices-Standards consultants issue Security-Practices credentials to entities whose security infrastructure they rate . The rating can be used by third parties to estimate the likelihood that information provided to the entity will inadvertently be disclosed by that entity. To enable a rated entity to demonstrate that they met the requirements of a certain grade while keeping private the grades they failed to meet, a separate credential is issued for each grade, with an attribute called "passed" that has the value true when the requirements for that grade were met, false otherwise.

0057In our example, there are four security-practices grades, low, medium, high, and very high. The maximum grade met by the server is "high" and the maximum grade met by the client is "medium" . Each entity protects the credentials it has for grades that it failed. If the credentials for grades it passed were not also protected, the difference in protection would make it obvious which grades were failed. So credentials for all grades (except the lowest) are protected, whether the owner passed or failed. Very High Security-Practices Grade. High sensitivity.

0058High Security-Practices Grade. Medium sensitivity. Med Security-Practices Grade. Low sensitivity. Low Security-Practices Grade. Not sensitive.

0059Client Credentials

0060Contract Destination Contracts. Issued by party expecting delivery of goods. Extremely sensitive. Need to be sure that the information will not be leaked to a competitor.

0061Credit Letter of Credit. Issued by creditor to owner. Medium-high sensitivity.

0062Dock Warehouse Agreement at Originating Dock. Issued by dock management. Medium sensitivity. Need to avoid dissemination to competitors.

0063S-Receipt Prior Shipping Receipt. Issued by shipper carrying goods in the past. The client in this example does not have any Prior

0064Shipping Receipts.

0065Account Established account with the server/shipper. Issued by shipper. In this example the client does not have an established account with the server/shipper. B-Org Business Organization Membership Credential. Issued by a business organization, such as the International Chamber of Commerce.

0066Not sensitive. Server Credentials

0067Receipt Prior Delivery Receipt. Issued by owner of goods carried in the past . Not Sensitive . Bond Bonding Certification. Issued by bonding agency. Not sensitive.

0068Ref References from Manufacturers. Issued by manufacturers willing to recommend the shipper based on prior business experience. Low sensitivity. The server in the example has at least two of these from different manufacturers.

0069B-Org Business Organization Membership Credential. Issued by a business organization, such as the International Chamber of Commerce. Not sensitive.

0070Hypothetical Policies

0071The policy that governs a client or server credential X is designated by ciient or server, respectively. The policies expressed here are not complete. In particular, they do not express requirements of supporting credentials, which are essential. Although not entirely complete or realistic, the clauses introduced by "where" illustrate the use of constraints on credential attributes. For instance, the client's access control policy for its Destination Contracts credential requires references from two different credential issuers.

0072Client's Credential-Governing Policies

0073Contract_cllent = High AND Refj AND Ref₂ AND (Bond OR (Receipt! AND

0074Receipt₂) ) where High . passed = true AND Refj . issuer ≠ Ref₂ . issuer AND Receiptj . issuer ≠ Receipt₂ . issuer

0075Credit_clιent = Med AND efi AND Ref₂ where Med . passed = true AND

0076Ref i . issuer ≠ Ref , . issuer Dock_cllent = Med AND (Bond OR (Receiptj AND Receipt₂ ) ) where Med . assed = true AND Receiptj . issuer ≠ Receipt; . issuer Very High_clιen;: = High AND B-Org where High . passed = true

0077High_clιenc = Med AND B-Org where Med . passed = true Med_cllen = Low AND B-Org where Low . passed = true Low_clιent = No Credentials Required Server's Credential-Governing Policies

0078Receipt_εerver = No Credentials Required = No Credentials Required Low where Low.passed = true Very High_Eerver = High AND B-Org where High.passed = true

0079High_εerver=- Med AND B-Org where Med. assed = true Low AND B-Org where Low.passed = true Lowserver = No Credentials Required

0080Server's Service-Governing Policy for Scheduling a Shipment

0081Account OR (Dock AND ( (S-Receiptj AND S-Receipt₂) OR Contract) AND

0082Credit) where S-Receipt_! . issuer ≠ S-Receipt₂. issuer

0083Negotiation Steps The example is a successful negotiation Requests for credentials are sent at the end of stages 2 through 7 The client credentials requested by the server at the end of stage 2 are needed to authorize service . The remainder of the negotiation serves to establish sufficient trust for the client to disclose those credentials to the server. The credentials requested m stages 3 through 7 are needed to unlock access to credentials that m turn are needed for a successful negotiation

0084In each stage m which a site receives a request for credentials, the s te owns credentials that satisfy the request and step 32 of Figure 2 is successful. At the end of each such stage, the operative Security Agent sends to the opposing site all credentials requested in the incoming request whose access policies are unlocked by opposing-site credentials that are available locally. These are labeled "unlocked, requested credentials" below. In the negotiation strategy illustrated by this example, the client's Security Agent caches and repeats previous requests, while the server's does not.

0085Stage 1 -- Client Sends Service Request: Schedule Shipping Dates

0086Stage 2 -- Server Receives Request, Returns the Service-Governing Policy

0087Server needs to establish trust that the client really is m the market for shipping services and can pay for them Sends Service -Governing Policy for Scheduling a Shipment shown above Stage 3 -- Client Receives Request for Credentials to Authorize Service

0088Server credentials available locally: None Unlocked, requested credentials- None (step 34 fails)

0089Incoming request, simplified by eliminating credentials the client does not possess:

0090Dock AND Contract AND Credit This formula, with each credential substituted by its (bracketed) access policy

0091[Med AND (Bond OR (Receipti AND Receipt₂) ) where Med.passed = true AND Receipti . issuer Φ Receipt₂. issuer] AND

0092[High AND Ref_x AND Ref₂ AND (Bond OR (Receipti AND Receipt;.) ) where

0093High.passed = true AND Ref __ . issuer Φ Ref₂. issuer AND Receipt! . issuer Φ Receipt₂. issuer] AND

0094[Med AND Refi AND Ref₂ where Med. passed = true AND Refi. issuer Φ Ref₂. issuer]

0095The formula, simplified, as sent to the server as a credential request at the end of stage 3 :

0096High AND Refi AND Ref₂ AND (Bond OR (Receipt_! AND Receipts ) AND Med where High.passed = true AND Ref _x . issuer Φ Ref _ . issuer AND Receipti . issuer Φ Receipt₂. issuer AND Med.passed = true

0097Stage 4 -- Service Receives Request for Credentials

0098Client credentials available locally None Unlocked, requested credentials. Bond (step 34 fails) The incoming request, with each credential substituted by its (bracketed) access policy:

0099[Med AND B-Org where Med. passed = true] AND [Low where Low. passed = true] AND [Low where Low. passed = true] AND ( [No Credentials Required] OR ( [No Credentials Required] AND [No

0100Credentials Required] ) ) AND [Low AND B-Org where Low. passed = true] Th s formula, simplified, as sent to client at the end of stage 4

0101Med AND Low AND B-Org where Med passed = true AND Low. passed = true

0102Stage 5 -- Client Receives Request for Credentials and One Server

0103Credential

0104Server credentials available locally Bond

0105Unlocked, requested credentials Low, B-Org (step 34 fails) The incoming request, with each credential substituted by its (bracketed) access policy:

0106[Low AND B-Org where Low.passed = true] AND [No Credentials Required] AND [No Credentials Required] This formula, conjoined with the request sent to the server at end of stage 3 :

0107[ [Low AND B-Org where Low. passed = true] AND [No Credentials Required]

0108AND [No Credentials Required] ] AND [High AND efi AND Ref₂ AND (Bond OR (Receipti AND Receipt₂) ) AND Med where High.passed = true AND Ref __ . issuer Φ Ref₂. issuer AND

0109Receipti. issuer Φ Receipt₂. issuer AND Med.passed = true] The request, simplified by eliminating server credentials available locally, as sent to server at the end of stage 5

0110Low AND B-Org AND High AND Refi AND Ref₂ AND Med where Low.passed = true AND High passed = true AND Refi. issuer Φ Ref₂. issuer AND

0111Med. passed = true

0112Stage 6 -- Server Receives Request for Credentials and Two Client Credential Client credentials available locally Low, B-Org

0113Unlocked, requested credentials Low, B-Org, Med (Step 34 fails)

0114The incoming request, with each credential substituted by its (bracketed) access policy

0115[No Credentials Required] AND [No Credentials Required] AND

0116[Med AND B-Org where Med. passed = true] AND [Low where Low passed = true] AND [Low where Low. passed = true] AND [Low AND B-Org where Low passed = true] The request, simplified by eliminating client credentials available locally, as sent to the client at the end of stage 6 Med where Med passed = true

0117Stage 7 -- Client Receives Request for Credentials and Three Server Credentials

0118Server credentials available locally Bond (cached since stage 5), Low, B-Org, Med

0119Unlocked, requested credentials Med (Step 34 succeeds) Request sent to server at the end of stage 5 (see step 35) Low AND B-Org AND High AND Refi AND Ref₂ AND Med where Low. passed = true AND High. passed = true AND Ref _ . issuer Φ Ref _ . issuer AND Med.passed = true The request, simplified by eliminating server credentials available locally, as sent to server at the end of stage 7:

0120High AND Refi AND Ref₂ where High.passed = true AND Refi. issuer Φ Ref₂. issuer

0121Stage 8 -- Server Receives Request for Credentials and One Client Credential

0122Client credentials available locally: Low, B-Org (both cached since stage

01236) , Med

0124Unlocked, requested credentials: High, Refi, Ref₂ (Step 34 succeeds, credentials sent in step 35)

0125Stage 9 -- Client Receives Three Server Credentials that Finish Unlocking the Client Credentials that will Authorize Service

0126Since no further request for credentials is received, the relevant request

0127(step 31) becomes once more the service-governing policy received at the start of stage 3.

0128Server credentials available locally: Bond (Received in stage 5) Low,

0129B-Org, Med (Received in stage 7) High, Ref_1# Ref₂ (Received in stage 9)

0130Unlocked, requested credentials: Dock, Contract, Credit (Step 34 succeeds) Request for service, Schedule Shipping Dates, first sent in stage 1, is now repeated with requested credentials attached.

0131Stage 10 -- Server Receives Service Request and Three Attached Credentials, Authorizes Service The server confirms that the attached credentials satisfy the service governing policy and authorizes the requested service. The result of that service is returned at the end of Stage 10.

0132Stage 11 -- Client Receives the Service it Requested