The Use of Formal Methods in the Analysis of Trust (Position Paper).

Michael J. Butler Michael Leuschel Stéphane Lo Presti Phillip Turner

Published in: iTrust (2004)

Keyphrases

formal methods
formal analysis
databases
fine grained