The Formal Method CAPSL
The Formal Method CAPSL. Kyle Taylor Zhenxiao Yang. {A, N a } PB. A B: {A, N a } PB B A: {N a , N b } PA A B: {N b } PB. {N a , N b } PA. A. B. {N b } PB. CAPSL. Common Authentication Protocol Specification Language Message list protocol description. Overview.
513 views • 40 slides