Statically assuring secrecy for dynamic concurrent processes.

Rachid Echahed Frédéric Prost Wendelin Serwe

Published in: PPDP (2003)

Keyphrases

concurrent processes
dynamic environments
search engine
database systems
petri net
changing environment
databases
decision making
knowledge base
multi agent systems