A Formal Analysis of the Lightweight Directory Access Protocol

DOI10.1007/3-540-46140-X_24zbMath1018.68851MaRDI QIDQ4411481

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

68U99: Computing methodologies and applications

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