Data independent verification of crypto-protocols.
A. W. RoscoePhilippa J. BroadfootGavin LowePublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- data sets
- data processing
- raw data
- high quality
- data analysis
- complex data
- training data
- prior knowledge
- image data
- synthetic data
- data collection
- database
- end users
- computer systems
- experimental data
- original data
- databases
- data points
- probability distribution
- search engine
- attribute values
- spatial data
- learning algorithm
- data integrity