Kriptográﬁai protokollok a formális vizsgálata a CSN logikai rendszer bővítésével

Pethő, AttilaTakács, Péter2010-06-252010-06-2520092010-06-25http://hdl.handle.net/2437/97381-200hukriptográfiai protokollokcryptographic protocolsCSN logikai rendszerCSN-logicKriptográﬁai 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