Trust Management

DOI10.1007/B96545zbMath1126.68643OpenAlexW4230393658MaRDI QIDQ5307998

No author found.

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96545

Mathematics Subject Classification ID

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

Uses Software

• Coq
• Casper
• ProB

This page was built for publication: Trust Management