Detail projektu

Formální popis a verifikace protokolu LDAP se zaměřením na optimalizaci replikace distribuovaných dat

Období řešení: 1.1.1998 — 31.12.1999

Zdroje financování

O projektu

Klíčová slova
LDAP, replikace, formální popis, verifikace, optimalizace, adresářové služby

Klíčová slova anglicky
LDAP, replication, formal description, verification, optimalization, directory service

Označení

FEI-98-?

Originální jazyk

čeština

Řešitelé

Matoušek Petr, doc. Ing., Ph.D., M.A. - hlavní řešitel

Útvary

Ústav informačních systémů
- odpovědné pracoviště (23.10.2001 - nezadáno)
Fakulta informačních technologií
- spolupříjemce (23.10.2001 - 31.12.1999)

Odpovědnost: Matoušek Petr, doc. Ing., Ph.D., M.A.