JACK - A Tool for Validation of Security and Behaviour of Java Applications.
Gilles BartheLilian BurdyJulien CharlesBenjamin GrégoireMarieke HuismanJean-Louis LanetMariela PavlovaAntoine RequetPublished in: FMCO (2006)
Keyphrases
- security requirements
- access control
- security systems
- security analysis
- computer security
- security policies
- statistical databases
- security issues
- security properties
- security problems
- software tools
- user friendly
- human operators
- functional requirements
- electronic commerce
- intrusion detection
- information systems
- security management