70514418

a

70514418 Armando, Alessandro Compagna, Luca SATMC: A SAT-based model checker for security protocols JELIA, 730-733 (2004). 2004 EN

doi:10.1007/978-3-540-30227-8_68