. "1.0"^^ . "2139F325A0ECBF3912762277D55DB5CF10A890B1" . "Proceedings of the 12th Conference STUDENT EEICT 2006" . "1.0"^^ . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F06%3APU66880!RIV07-MSM-26230___"^^ . . . "RIV/00216305:26230/06:PU66880!RIV07-MSM-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." . . . . "0.0"^^ . "0.0"^^ . "The Use of Modal Logics in the Security Protocols Analysis" . . "0.0"^^ . "0.0"^^ . . . .