Introducing Cyberlogic

(To be presented at the third High Confidence Software and Systems Conference, Baltimore MD, April 2003)

---

Authors

Harald Rueß and Natarajan Shankar

Abstract

Cyberlogic is an enabling foundation for building and analyzing protocols that involve the exchange of electronic forms of evidence. The key ideas underlying Cyberlogic are extremely simple. First, evidence is encoded by means of numbers using digital certificates and nonces. Second, predicates are signed by private keys so that a decryption of such a certificate with the corresponding public key is a proof or evidence for the assertion contained in the certificate. Third, protocols are distributed logic programs that gather evidence by using both ordinary predicates and digital certificates. These simple building blocks can be used to construct a rich variety of services in a variety of domains ranging from digital government to access control in computer systems.

gzipped postscript or postscript

BibTeX Entry

@inproceedings{RuessShankar:HCSS03,
        TITLE = {Introducing Cyberlogic},
        AUTHOR = {Rue{\ss} and Natarajan Shankar},
        BOOKTITLE = {HCSS'03---High Confidence Software and Systems Conference},
        EDITOR = {Brad Martin},
        MONTH = {1-3 April},
        YEAR = {2003},
        ADDRESS = {Baltimore, MD}
        NOTE = {submitted for publication}
}

---

Harald Ruess: ruess@csl.sri.com