Jonathan Herzog Applying protocol analysis to security device interfaces. 84-87 2006 4 IEEE Security & Privacy 4 http://dx.doi.org/10.1109/MSP.2006.85 db/journals/ieeesp/ieeesp4.html#Herzog06