C. Ellison. SPKI requirements. Request for Comments 2692, Network Working Group, http://www.ietf.org/html.charters/spki-charter.html, September 1999. ftp://ftp.isi.edu/in-notes/rfc2692.txt.  Home/Search   Document Not in Database   Summary   Related Articles

....that both the Jif Prover and the Jif Checker have been implemented. We will describe Myers label system in more detail in the next chapter. 1.1. 2 Authorization and Name Resolution We implement authorization and name resolution using the Simple Public Key Infrastructure (SPKI) EFL 98, Ell99, EFL 99, EFL 00] SPKI is a fully decentralized public key infrastructure that supports authorization and naming with certificates. TEP assumes that each principal controls an asymmetric key pair and uses public keys for identity. Principals can issue certificates signed statements ....

....principal names and authorizations with cryptographic public keys and certificates. By accessing the security environment through a high level interface, TEP can be designed independently of the implementation of the environment. We use the Simple Public Key Infrastructure (SPKI, EFL 98, Ell99, EFL 99, EFL 00] to implement TEP s security environment and concepts in Jif. The next chapter will describe how TEP uses the security environment at runtime. Verified Jif Bytecode Security Environment Environment Prover Proofs Checker Environment Figure 3 1: Security ....

[Article contains additional citation context not shown here]

C. Ellison. SPKI requirements. Request for Comments 2692, Network Working Group, http://www.ietf.org/html.charters/spki-charter.html, September 1999. ftp://ftp.isi.edu/in-notes/rfc2692.txt.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC