vix.ing · top · new · best · stats · spec

Cristia, Maximiliano

  1. Automated Proof of Bell-LaPadula Security Properties
    2020/01/28 by Cristia, Maximiliano, Rossi, Gianfranco · 2 citations
    #FOS: Computer and information sciences #Software Engineering (cs.SE)