Formal verification of security specifications with common criteria.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Browse the full SAC paper archive.