online payment protocol / security infrastructure / capability systems / secure systems / cryptographic protocols / networked information systems / web-based services / types applications / respective type systems / cial 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 / security protocols / trust management / distributed security protocols / /
Organization
Alfred P. Sloan Foundation / office of Naval Research / National Science Foundation / Computer Science Department / Science Foundation / Cornell University / Navy / U.S. Department of Defense / /
Person
Andrew C. Myers / /
Position
standard semantic model for probabilistic computation / uniform scheduler / nondeterministic scheduler / purely nondeterministic scheduler / scheduler / high guard / programmer / /