Login / Signup

Safe abstractions of data encodings in formal security protocol models.

Alfredo PirontiRiccardo 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