|
Nyíregyházi Egyetem Tudományos Elektronikus Adattár >
Természettudományi és Informatikai Kar >
Matematika és Informatika Intézet >
Matematika Intézet - Konferencia előadások >
Ezzel az azonosítóval hivatkozhat erre a dokumentumra forrásmegjelölésben vagy hiperhivatkozás esetén:
https://tea.nye.hu/handle/123456789/41
|
| Besorolás: | Lecture |
| Jelleg: | Scientific |
| Szerzők: | Vályi, Sándor
Ködmön, József
Takács, Pélter |
| Cím: | Algorithmic aspects of some protocol verification logics |
| Konferencia címe: | 7th Central European Conference on Cryptology |
| Ország: | Slovensko |
| Város: | Smolenice |
| Konferencia típusa: | International |
| Konferencia kezdete: | 22-jún-2007 |
| Konferencia vége: | 24-jún-2007 |
| Nyelv: | en |
| URI : | http://hdl.handle.net/123456789/41 |
| Kulcsszavak: | cryptography
undecidability |
| Absztrakt: | We show that 1. in first-order modal logic of Coffey and Saidha, it is undecidable whether a given protocol specification is valid 2. The language of valid protocol specifications is not even recursively enumerable over integer time 3. Over dense time it is recursively enumerable. We also give a semantics for that logic. |
| Ebben a gyűjteményben: | Matematika Intézet - Konferencia előadások
|
Minden dokumentum, ami a TEA rendszerben szerepel, szerzői jogokkal védett. Minden jog fenntartva!
|
