A Formal Analysis of the Lightweight Directory Access Protocol

DOI10.1007/3-540-46140-X_24MaRDI QIDQ4411481zbMATH OpenOpenAlexFDO

Authors Fang Wei, Georg Lausen

Publication date 9 July 2003

Published in Conceptual Modeling for New Information Systems Technologies (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46140-x_24

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 2043563
• scientific article; zbMATH DE number 2089472
• scientific article; zbMATH DE number 1977237
• Logical Foundations of RDF(S) with Datatypes
• A first step towards modeling semistructured data in hybrid multimodal logic

Cited in

(4)

• scientific article; zbMATH DE number 2043563 (Why is no real title available?)
• scientific article; zbMATH DE number 1977237 (Why is no real title available?)
• Improved algorithm for estimating disparity using non-uniform mesh
• Integrating network devices in a meta-directory: The metaComm experience

This page was built for publication: A Formal Analysis of the Lightweight Directory Access Protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411481)