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-?

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, doc. Ing., Ph.D., M.A. (DIFS) – research leader