Public

Multi-Attacker Protocol Validation

Published in Journal of Automated Reasoning • Jul 16, 2010

NobleIDark:/48914/w1/20260525/3197AC42Record on NobleID

Authors:

Wihem Arsac

,

Giampaolo Bella

,

Xavier Chantry

Subject

Computer science

Protocol (science)

Computer security

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!