A translator with a security static analysis feature of an information flow for a simple programming language.
E. Ju. AntoshinaA. N. BarakovaE. S. NikitinD. Ju. ChalyyPublished in: Autom. Control. Comput. Sci. (2014)
Keyphrases
- programming language
- information flow
- static analysis
- information security
- object oriented
- general purpose
- java card
- dynamic analysis
- high level
- programming environment
- object oriented programming
- communication networks
- strongly typed
- supply chain
- social networks
- software engineering
- specification language
- information flows
- functional language
- source code
- functional programming
- case study
- intrusion detection
- test set
- knowledge management
- denotational semantics