A Formal Analysis of the Lightweight Directory Access Protocol
From MaRDI portal
Publication:4411481
DOI10.1007/3-540-46140-X_24zbMath1018.68851OpenAlexW1511293217MaRDI QIDQ4411481
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
Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
This page was built for publication: A Formal Analysis of the Lightweight Directory Access Protocol