VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking.
Ece Nur Demirhan CoskunMuhammad HassanMehran GoliRolf DrechslerPublished in: ISQED (2023)
Keyphrases
- information flow
- security properties
- heterogeneous systems
- security requirements
- information security
- distributed architecture
- formal model
- security analysis
- supply chain
- computing systems
- parallel architectures
- application developers
- communication networks
- formal methods
- security protocols
- web services
- real time
- social networks
- smart card
- distributed systems
- cryptographic protocols
- database
- database systems
- legacy systems