Journal article

Probabilistic bisimulation and equivalence for security analysis of network protocols

A Ramanathan, J Mitchell, A Scedrov, V Teague

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Published : 2004

Citation metrics