11 citations · 19 across the 5 of their papers we have counts for
6 papers
Limitations on Observability of Effects in Cyber-Physical Systems
Suresh K. Damodaran, Paul D. Rowe
Increased interconnectivity of Cyber-Physical Systems, by design or otherwise, increases the cyber attack surface and attack vectors. Observing the effects of these attacks is help…
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell +2
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a str…
Principles of Layered Attestation
Paul D. Rowe
Systems designed with measurement and attestation in mind are often layered, with the lower layers measuring the layers above them. Attestations of such systems, which we call laye…
Formal Support for Standardizing Protocols with State
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell +1
Many cryptographic protocols are designed to achieve their goals using only messages passed over an open network. Numerous tools, based on well-understood foundations, exist for th…
A Cut Principle for Information Flow
Joshua D. Guttman, Paul D. Rowe
We view a distributed system as a graph of active locations with unidirectional channels between them, through which they pass messages. In this context, the graph structure of a s…
A Hybrid Analysis for Security Protocols with State
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman +1
Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complet…