Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI).

Catherine Meadows

Published in: VIS (2001)

Keyphrases

formal analysis
ban logic
formal methods
domain specific
agent model
image interpretation
case study
payment protocol
cost effective
domain independent
open source
high level
black box
databases
business processes
expert systems
artificial intelligence