Is Cryptyc Able to Detect Insider Attacks?

Published in: Formal Aspects in Security and Trust (2011)