TINMAN: A Resource Bound Security Checking System for Mobile Code.
Aloysius K. MokWeijiang YuPublished in: ESORICS (2002)
Keyphrases
- mobile commerce
- security issues
- network security
- mobile phone
- mobile devices
- resource allocation
- cloud computing environment
- access control
- upper bound
- source code
- security requirements
- intrusion detection
- mobile environments
- resource management
- mobile payment
- information security
- lower bound
- mobile users
- resource constraints
- worst case
- security mechanisms
- computer security
- open source
- windows xp
- mobile internet
- statistical databases
- mobile networks
- software systems
- mobile computing environment
- malware detection
- android application
- security analysis
- static analysis
- security policies
- mobile computing
- mobile applications
- computing environments
- error bounds
- mobile learning
- electronic commerce