Computer Science
D. Basin, S. Mödersheim, L. Viganò
tlooto Summary
The on-the-fly model checker OFMC is presented, a tool that combines two ideas for analyzing security protocols based on lazy, demand-driven search and the integration of symbolic techniques and optimizations for modeling a lazy Dolev–Yao intruder whose actions are generated in a demand- driven way.
Abstract
Abstract is not available.
Citation format
BASIN, D.; MÖDERSHEIM, S.; VIGANÒ, L. OFMC: A symbolic model checker for security protocols. International Journal of Information Security, 2005, 4: 181–208.