Formal Analysis of security protocols, (CAPSL, Casper, CSP) Designing Security Protocols, Testing and Evaluation of security protocols, Network Security, Firewall Configuration, Administration of Linux and Unix like (FreeBSD, NetBSD, Sol
érdeklődési terület:
Analysis of Security Protocols Mobile Network security Desing of network security Testing and evaluation of security protocols Security evaluation of systems Countermeasures for DoS att
Budapesti Műszaki és Gazdaságtudományi Egyetem (BME) Távközlési és Médiainformatikai Tanszék (TMIT) 1117, Budapest, Magyar tudósok körútja 2. tel: (1) 463-2448; fax: (1) 463-3107