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