online payment protocol / security infrastructure / capability systems / secure systems / large networked information systems / cryptographic protocols / web-based services / respective type systems / financial information systems / business to business / large computing system / machinery / concurrent systems / dynamic labeling systems / computing / type systems / language-based distributed systems / security-type systems / conventional type systems / trust management / security protocols / distributed security protocols / /
Organization
Alfred P. Sloan Foundation / office of Naval Research / National Science Foundation / Computer Science Department / Cornell University / Navy / U.S. Department of Defense / /
Position
standard semantic model for probabilistic computation / uniform scheduler / guard / nondeterministic scheduler / purely nondeterministic scheduler / high guard / scheduler / programmer / /