Mais um evento do LoLITA (Group for Logic, Language, Information, Theory, and Applications) do DIMAp/UFRN.
Agradecemos a todos a participação e a ampla divulgação. * * * Título: "Logic for Security" http://goo.gl/zzli8K Palestrante: Carlos Caleiro http://sqig.math.ist.utl.pt/ccal Security and Quantum Information Group Instituto de Telecomunicações ULisboa Local: sala de reuniões do DIMAp / UFRN Horário: 15:30-17:00 Data: 05Fev2014 Resumo: Cryptographic protocols are widely used to provide secure communication over insecure networks, and much work is devoted to ensure their correctness. Symbolic approaches to this task have achieved significant success: based on them, several automated protocol verification tools have been implemented, and these have been successful in finding many protocol attacks. In this talk, we overview this exciting area of applied logic, covering the ground from the plain old Dolev-Yao intruder to computational indistinguishability, and from provable security to attack search. We highlight three of our own contributions to the field: (1) the use of distributed temporal logic as a metalevel tool for evaluating the correctness of simplification techniques used in protocol model-checkers; (2) the improvement of existing algorithms for security relevant problems in equational reasoning over the algebraic properties of cryptographic functions; and (3) the development of a symbolic probabilistic model of an attacker with cryptanalytical capabilities and its application to the analysis of offline guessing attacks. * * * A palestra será proferida em português. Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
