Academia

The document was issued by academy or academy organization.
page

Visible to the public HMM-Based Characterization of Channel Behavior for Networked Control Systems

Submitted by Katie Dey on Mon, 08/27/2012 - 8:00pm

ABSTRACT:

page

Visible to the public Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information

Submitted by Katie Dey on Mon, 08/27/2012 - 7:57pm

ABSTRACT: This paper addresses the problem of resilient consensus in the presence of misbehaving nodes. Although it is typical to assume knowledge of at least some nonlocal information when studying secure and fault-tolerant consensus algorithms, this assumption is not suitable for large-scale dynamic networks. To remedy this, we emphasize the use of local strategies to deal with resilience to security breaches.

file

Visible to the public Measuring Security

Submitted by David Wagner on Tue, 08/21/2012 - 12:31pm. Contributor:
file

Visible to the public Generic Finite Model for Declarative Privacy Policy

Submitted by Anonymous on Tue, 08/21/2012 - 12:31pm. Contributor:
file

Visible to the public Compositional Security

Submitted by anupamdatta on Tue, 08/21/2012 - 12:31pm. Contributor:
file

Visible to the public Using Theorem Provers to Guarantee Closed-Loop System Properties

Submitted by arajhans on Mon, 08/06/2012 - 2:41pm

Abstract--This paper presents a new approach for leveraging the power of theorem provers for formal verification to provide sufficient conditions that can be checked on embedded control designs. Theorem provers are often most ecient when using generic models that abstract away many of the controller details, but with these abstract models very general conditions can be verified under which desirable properties such as safety can be guaranteed for the closed-loop system. We propose