Proceedings of the 8th International Workshop on Security Issues in Concurrency

Konstantinos Chatzikokolakis 1 Véronique Cortier 2
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The aim of the SecCo workshop series is to cover the gap between the security and the concurrency communities. More precisely, the workshop promotes the exchange of ideas, trying to focus on common interests and stimulating discussions on central research questions. In particular, we called for papers dealing with security issues (such as authentication, integrity, privacy, confidentiality, access control, denial of service, service availability, safety aspects, fault tolerance, trust, language-based security, probabilistic and information theoretic models) in emerging fields like web services, mobile ad-hoc networks, agent-based infrastructures, peer-to-peer systems, context-aware computing, global/ubiquitous/pervasive computing.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Konstantinos Chatzikokolakis and Véronique Cortier. 51, Electronic Proceedings in Theoretical Computer Science, pp.51, 2011, Electronic Proceedings in Theoretical Computer Science, 〈10.4204/EPTCS.51〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00641020
Contributeur : Véronique Cortier <>
Soumis le : lundi 14 novembre 2011 - 16:14:10
Dernière modification le : mercredi 14 novembre 2018 - 16:10:03

Identifiants

Citation

Konstantinos Chatzikokolakis, Véronique Cortier. Proceedings of the 8th International Workshop on Security Issues in Concurrency. Konstantinos Chatzikokolakis and Véronique Cortier. 51, Electronic Proceedings in Theoretical Computer Science, pp.51, 2011, Electronic Proceedings in Theoretical Computer Science, 〈10.4204/EPTCS.51〉. 〈hal-00641020〉

Partager

Métriques

Consultations de la notice

361