11 citations · 19 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.CR2014★ 11 cited
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…
cs.CR2014★ 2 cited
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…