Conference Proceedings

Probabilistic polynomial-time process calculus and security protocol analysis (short summary)

J Mitchell, A Ramanathan, A Scedrov, V Teague

Proceedings - Symposium on Logic in Computer Science | Published : 2001

Citation metrics

1Scopus