Index of /RBAC-in-B

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]RATransitiveClosureNgSCP.in01-Oct-2015 15:08 9.8K 
[   ]RBACMachines.pdf01-Oct-2015 15:08 177K 
[   ]RBACMachines.tex01-Oct-2015 15:08 59K 
[   ]Thumbs.db23-Feb-2014 21:10 20K 
[CMP]archive-B-specification-with-proofs.arc15-Apr-2016 08:55 151K 
[TXT]readme.txt18-Apr-2016 08:24 701