Pethő, AttilaTakács, Péter2010-06-252010-06-252009http://hdl.handle.net/2437/97381-200hukriptográfiai protokollokcryptographic protocolsCSN logikai rendszerCSN-logicKriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésévelFormal examination of cryptographic protocols with the extended CSN-logicInformatikai tudományokMűszaki tudományok