A Knowledge Based Formal Language for Securing Information Systems.

Yun Bai

Browse the full KES paper archive.