FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis.
Jeff SmitsGuido WachsmuthEelco VisserPublished in: J. Comput. Lang. (2020)
Keyphrases
- flow analysis
- specification language
- sensitive data
- information flow
- information security
- privacy preserving
- formal specification
- data storage
- description language
- smart card
- programming language
- sensitive information
- third party
- data sharing
- privacy protection
- malicious users
- object oriented
- database
- domain independent
- data management
- data access
- security requirements
- data sets