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