. . "Using AVISPA in the Education of Network Security" . "0"^^ . "EDS '08 IMAPS CS International Conference Proceedings" . . . "0"^^ . "0"^^ . . . "0"^^ . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F08%3APU76714!RIV12-GA0-26230___"^^ . . "1"^^ . . "RIV/00216305:26230/08:PU76714!RIV12-GA0-26230___" . . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." . . "BFn7LgR-Zyj-C+78QEnw-M1jEEY=" . .