User menu

Formal Modeling and Verification of Access-Control Policies

Bibliographic reference Toussaint, Hubert. Formal Modeling and Verification of Access-Control Policies.  Prom. : Schobbens, Pierre-Yves
Permanent URL http://hdl.handle.net/2078.2/90861