Login / Signup

Specification and verification of security requirements in a programming model for decentralized CSCW systems.

Tanvir AhmedAnand R. Tripathi
Published in: ACM Trans. Inf. Syst. Secur. (2007)
Keyphrases
  • security requirements
  • formal model
  • high level
  • security model
  • real time
  • artificial intelligence
  • information systems
  • multi agent
  • cooperative
  • distributed systems
  • computer systems
  • model checking