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

Typ projektu: grant

Kód: FEI-98-?

Agentura: Fakulta elektrotechniky a informatiky VUT

Program:

Název anglicky
Formal specification and verification of the LDAP protocol and optimalization of data replication
Typ
grant
Klíčová slova

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

Řešitelé
Matoušek Petr, Ing. (UIVT FEI VUT) , hlavní řešitel
Publikace

1998

  • MATOUŠEK Petr. HEP Global Directory over LDAP. In: Batavia-Illinois: neznámá, 1998. Detail
  • MATOUŠEK Petr. LDAP - Electronic White Pages. In: Lyon, 1998. Detail
  • MATOUŠEK Petr. LDAP replication at CERN. CERN: neznámá, 1998. Detail
Nahoru