Login / Signup
Safe abstractions of data encodings in formal security protocol models.
Alfredo Pironti
Riccardo Sisto
Published in:
Formal Aspects Comput. (2014)
Keyphrases
</>
data sets
data analysis
data processing
sensor data
multimedia data
key management
security protocols
data streams
end users
knowledge management
data mining techniques
data collection
computer systems