Decidability and Combination Results for Two Notions of Knowledge in Security Protocols.

Véronique Cortier Stéphanie Delaune

Published in: J. Autom. Reason. (2012)

Keyphrases

security protocols
knowledge discovery
knowledge base
knowledge management
knowledge representation
description logics
automated design
data streams
real time
database systems
distributed systems
data mining techniques
data processing
security services
artificial immune algorithm