Formal Representation of Trusted Meta-requirements.

Xiangjun Kong, Xuejun Yu

Browse the full SMC paper archive.