Factorization of Behavioral Integrity.

Ximeng Li, Flemming Nielson, Hanne Riis Nielson

Browse the full ESORICS paper archive.