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.