CCL

Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM004061
Első szerző:Aszalós László (matematikus)
Cím:Some decidability result for logic constructed for checking user authentication protocols / László Aszalós, Philippe Balbiani
Dátum:2008
Megjegyzések:The core of our paper is a general purpose logical system for reasoning about user authentication protocols. Proposed as an extension of the propositional epistemic logic by dynamic operators, the potential usefulness of our calculus for protocol verification is illustrated with examples.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
logical system
authetication protocol
verfication
Megjelenés:Journal of Computer Science and Control Systems. - 2008 (2008), p. 1-6. -
További szerzők:Balbiani, Philippe
Internet cím:elektronikus változat
Borító:
Rekordok letöltése1