Project detail
Formal specification and verification of the LDAP protocol and optimalization of data replication
Duration: 1.1.1998 — 31.12.1999
Funding resources
On the project
Keywords
LDAP, replikace, formální popis, verifikace, optimalizace, adresářové služby
Key words in English
LDAP, replication, formal description, verification, optimalization, directory
service
Mark
FEI-98-?
Default language
Czech
People responsible
Matoušek Petr, doc. Ing., Ph.D., M.A. - principal person responsible
Units
Department of Information Systems
- responsible department (23.10.2001 - not assigned)
Faculty of Information Technology
- co-beneficiary (23.10.2001 - 31.12.1999)
Responsibility: Matoušek Petr, doc. Ing., Ph.D., M.A.