Specification of an Access Control System with a Formalism Combining CCS and CASL

Gwen Salaün, Michel Allemand, Christian Attiogbé. Specification of an Access Control System with a Formalism Combining CCS and CASL. In 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings. IEEE Computer Society, 2002. [doi]

Authors

Gwen Salaün

This author has not been identified. It may be one of the following persons: Look up 'Gwen Salaün' in Google

Michel Allemand

This author has not been identified. Look up 'Michel Allemand' in Google

Christian Attiogbé

This author has not been identified. It may be one of the following persons: Look up 'Christian Attiogbé' in Google