default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd SecCO@CONCUR 2005: San Francisco, CA, USA
- Michael Backes, Andre Scedrov:
Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005. Electronic Notes in Theoretical Computer Science 180(1), Elsevier 2007 - Michael Backes, Andre Scedrov:
Preface. 1-2 - Hans Hüttel
, Morten Kühnrich:
Types for Access Control in a Calculus of Mobile Resources. 3-15 - Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila:
Secured Information Flow for Asynchronous Sequential Processes. 17-34 - Guillaume Gardey, John Mullins, Olivier H. Roux:
Non-Interference Control Synthesis for Security Timed Automata. 35-53 - Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Weak Probabilistic Anonymity. 55-76 - Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso:
On the Expressiveness of Mobile Synchronizing Petri Nets. 77-94
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
