Gran: model checking grsecurity RBAC policies

No ratings

Presented at 25th IEEE Computer Security Foundations Symposium 2012 by

Michele Bugliesi

Stefano Calzavara

Riccardo Focardi

Marco Squarcina

N/A