Project Details

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

Project Period: 1. 1. 1998 - 31. 12. 1999

Project Type: grant

Code: FEI-98-?

Agency: Faculty of Electrical Engineering and Computer Science BUT

Program:

English title
Formal specification and verification of the LDAP protocol and optimalization of data replication
Type
grant
Keywords

LDAP, replication, formal description, verification, optimalization, directory service

Team members
Matoušek Petr, Ing. (UIVT FEI VUT) , research leader
Publications

1998

  • MATOUŠEK Petr. HEP Global Directory over LDAP. In: Batavia-Illinois: unknown, 1998. Detail
  • MATOUŠEK Petr. LDAP - Electronic White Pages. In: Lyon, 1998. Detail
  • MATOUŠEK Petr. LDAP replication at CERN. CERN: unknown, 1998. Detail
Back to top