92 citations · 394 across the 34 of their papers we have counts for
4 papers · 1 filter
Attack Analysis Results for Adversarial Engagement 1 of the DARPA Transparent Computing Program
Birhanu Eshete, Rigel Gjomemo, Md Nahid Hossain +5
This report presents attack analysis results of the first adversarial engagement event stream for the first engagement of the DARPA TC program conducted in October 2016. The analys…
Founded Semantics and Constraint Semantics of Logic Rules
Yanhong A. Liu, Scott D. Stoller
Logic rules and inference are fundamental in computer science and have been studied extensively. However, prior semantics of logic languages can have subtle implications and can di…
Formal Verification of Multi-Paxos for Distributed Consensus
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Paxos is an important algorithm for a set of distributed processes to agree on a single value or a sequence of values, for which it is called Basic Paxos or Multi-Paxos, respective…
Mining Hierarchical Temporal Roles with Multiple Metrics
Scott D. Stoller, Thang Bui
Temporal role-based access control (TRBAC) extends role-based access control to limit the times at which roles are enabled. This paper presents a new algorithm for mining high-qual…