Simulating midlet's security claims with automata modulo theory.

Fabio Massacci Ida Sri Rejeki Siahaan

Published in: PLAS (2008)

Keyphrases

theoretical framework
information security
access control
database
security issues
database systems
computational model
cellular automata
security threats
information assurance
neural network
countermeasures
security protocols
security problems
security measures