Login / Signup

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.

Ivan Cibrario BertolottiLuca DuranteRiccardo SistoAdriano Valenzano
Published in: TACAS (2003)
Keyphrases
  • knowledge representation
  • natural language processing
  • real time
  • artificial intelligence
  • natural language
  • data streams
  • data analysis
  • low cost
  • statistical analysis
  • lightweight
  • resource constraints