Login / Signup

Towards a Formal Specification Method for Enterprise Information System Security.

Anirban SenguptaMridul Sankar Barik
Published in: ICISS (2006)
Keyphrases
  • formal specification
  • distributed systems
  • objective function