Login / Signup

An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder.

Theodoros BalopoulosStefanos GritzalisSokratis K. Katsikas
Published in: Communications and Multimedia Security (2004)
Keyphrases
  • higher order
  • action recognition
  • case study
  • learning algorithm
  • image sequences
  • video sequences
  • expert systems