%0 Generic
%T A Scenario-Based Protocol Checker for Public-Key Authentication Scheme
%A SAITO, Takamichi
%I Institute of Electronics, Information and Communications Engineers (IEICE)
%@ 0916-8532
%@ 1745-1361
%K Artificial Intelligence
%K Electrical and Electronic Engineering
%K Computer Vision and Pattern Recognition
%K Hardware and Architecture
%K Software
%D 2009
%C Institute of Electronics, Information and Communications Engineers (IEICE)
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation