"RIV/00216305:26230/10:PU90533!RIV12-GA0-26230___" . . . . "2010 International Conference on Communication and Vehicular Technology" . . "\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." . . . "0"^^ . . "0"^^ . . . . "K1jgsD.ErVHVCspLxaj.jkVoFAM=" . "A Knowledge-Belief Approach to the Security Protocol Analysis" . "0"^^ . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F10%3APU90533!RIV12-GA0-26230___"^^ . "0"^^ . . "1"^^ .