IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols.
Tobias KlenzeChristoph SprengerPublished in: Arch. Formal Proofs (2022)
Keyphrases
- data sets
- training data
- data processing
- high quality
- data structure
- data sources
- raw data
- data collection
- integrity verification
- data quality
- image data
- probability distribution
- prior knowledge
- xml documents
- knowledge discovery
- input data
- probabilistic model
- computer systems
- synthetic data
- data mining
- multi party
- database