Towards a Formal Specification Method for Enterprise Information System Security.

Anirban Sengupta, Mridul Sankar Barik

Browse the full ICISS paper archive.