Semi-Formal Representation and Evaluation of Security Properties.

Xinxin Lou, Ines Ben Zid, Mithil Parekh, Yuan Gao

Browse the full GI paper archive.