Login / Signup

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.

Musab A. AlTurkiTajana Ban KiriginMax I. KanovichVivek NigamAndre ScedrovCarolyn L. Talcott
Published in: Foundations of Security, Protocols, and Equational Reasoning (2019)
Keyphrases
  • databases
  • information systems
  • probabilistic model
  • formal model
  • similarity measure
  • shortest path
  • qualitative and quantitative