Taxonomic Search: Carolyn Talcott

Results 1 - 10 of 13

Results

file

Visible to the public Verified Cryptographic Protocol Analysis: Vision and Status

License: 
Creative Commons 2.5
file

Visible to the public Secure Agents

License: 
Creative Commons 2.5
file

Visible to the public A Distributed Logical Framework Based on Partially Ordered Knowledge Sharing & Its Application to Networked CP Systems

This research is motivated by the observation that especially in challenging environments, that exhibit many forms of unreliability and failures, the physical world imposes severe limitations on how distributed algorithms can operate. Inspired by earlier work on delay- and disruption-tolerant networking, we have developed a distributed computing model based on partially ordered knowledge sharing that makes very few assumptions about the underlying network, its topology, and its characteristics.