Establishing PCI Compliance using Formal Verification: a Case Study (1995)

by I Beer, S Ben-David, C Eisner, Y Engel, R Gewirtzman, A Landver
Venue:Intl. Phoenix Conf. on Comp. and Comm