SDL model based on exchange of key encryption key
Yadi Wang · Jisuanji gongcheng yu sheji · 2008
An SDL design model of security-critical product is analyzed,the state transition process of an exchange of key encryption key is illuminated,and some problems are discussed involved in analysis,simulation and validation of the model using tools.By the example,the application process of formal techniques is narrated in engineering,especially in security-critical system.The outstanding characteristic is analyzed the exchange of key encryption key and obtaining its framework by applying SDL,validating the framework using bit state exploration algorithm.