Találati lista | Tudóstér

001-es BibID:	BIBFORM010605
Első szerző:	Aszalós László (matematikus)
Cím:	Proving the decidability of the PDLtimesPDL product logic / László Aszalós, Philippe Balbiani
Dátum:	2009
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:	Studia Universitatis Babes-Bolyai. Series Informatica. - 54 : 1 (2009), p. 3-16. -
További szerzők:	Balbiani, Philippe
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

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ó:
Saját polcon: