Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis (Q5743593)
From MaRDI portal
scientific article; zbMATH DE number 6539454
Language | Label | Description | Also known as |
---|---|---|---|
English | Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis |
scientific article; zbMATH DE number 6539454 |
Statements
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis (English)
0 references
5 February 2016
0 references
information-flow security
0 references
concurrency
0 references
static analysis
0 references