Sign in

Formal Specification and Analysis of the MIDP 3.0 Security Model.

Gustavo MazeikisGustavo BetarteCarlos Luna
Published in: SCCC (2009)
Keyphrases
  • formal specification
  • security model
  • formal methods
  • artificial intelligence
  • information systems
  • case study
  • source code
  • fine grained
  • cost effective
  • model checking