Formal Analysis of Network Protocol Security
Ya‐Ting Hsu · OhioLink ETD Center (Ohio Library and Information Network) · 2011
As computer networks turn into an indispensable part of technology and entertainment of human life today, security and reliability become the forefront issue of network protocol design and implementation.Any security or reliability flaws in network protocol operation can lead to great loss in private data, business opportunity and reputation.As a result, methods and tools for preventing and detecting such security breach in network protocol design and implementation are urgently needed.Formal methods have proven to be successful in system verification and testing.This thesis is devoted to formally design algorithm and tools to efficiently and effectively investigate security of both protocol specification and implementation.