Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation.
Florian KammüllerManfred KerberChristian W. ProbstPublished in: J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. (2017)
Keyphrases
- code generation
- insider threat
- application development
- modeling language
- software development
- code generator
- model driven
- design patterns
- software reuse
- rapid prototyping
- online auctions
- formal specification
- knowledge representation
- information security
- bidding strategies
- cyber security
- database
- data management
- knowledge management
- sensitive data
- learning process