Formal Specification and Analysis of Security-Critical Norms and Policies
biblio
Submitted by mpsingh on Fri, 06/23/2017 - 2:44pm
biblio
Submitted by mpsingh on Fri, 06/23/2017 - 2:36pm
biblio
Submitted by mpsingh on Mon, 04/10/2017 - 5:02pm
biblio
Submitted by mpsingh on Mon, 01/09/2017 - 3:47am
biblio
Submitted by mpsingh on Mon, 06/20/2016 - 12:49pm
biblio
Submitted by drwright on Wed, 05/04/2016 - 8:24am
biblio
Submitted by drwright on Mon, 04/11/2016 - 3:24pm
biblio
Submitted by mpsingh on Tue, 03/29/2016 - 6:08am
biblio
Submitted by mpsingh on Tue, 03/29/2016 - 5:51am
biblio
Submitted by mpsingh on Wed, 12/16/2015 - 12:45pm
