|
Journals in DBLP
Preface. [Citation Graph (, )][DBLP]
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. [Citation Graph (, )][DBLP]
Action Control by Term Rewriting. [Citation Graph (, )][DBLP]
Rewrite Based Specification of Access Control Policies. [Citation Graph (, )][DBLP]
Analysis of Rewrite-Based Access Control Policies. [Citation Graph (, )][DBLP]
Rewriting Techniques in the Constraint Solver. [Citation Graph (, )][DBLP]
An Automated Approach for Proving PCL Invariants. [Citation Graph (, )][DBLP]
|