Header
Menü oben rechts
Anmelden
en
Research Collection
Navigation umschalten
Menü oben rechts
Anmelden
Hilfe
Hilfe
Sprache
English
Navigation umschalten
Suche
Trefferanzeige
Start
Conference Contributions
Conference Paper
Trefferanzeige
Start
Conference Contributions
Conference Paper
Trefferanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
Research Collection
Navigational link
Suche
Petri Net Security Checker: Structural Non-interference at Work
Mendeley
CSV
RIS
BibTeX
Metadata only
Autor(in)
Frau, Simone
Gorrieri, Roberto
Ferigato, Carlo
Datum
2009
Typ
Conference Paper
Zitate
38 Zitate in
Scopus
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
published
Herausgeber(in)
Degano, Pierpaolo
Guttman, Joshua
Martinelli, Fabio
Buchtitel
Formal aspects in security and trust
Zeitschrift / Serie
Lecture Notes in Computer Science
Band
5491
Seiten / Artikelnummer
210
-
225
Verlag
Springer
Konferenz
5th International Workshop on Formal Aspects in Security and Trust (FAST 2008)
,
Malaga, Spain
,
Octorber 9-10, 2008
Mehr
Alle Metadaten anzeigen
Zitate
38 Zitate in
Scopus
ETH Bibliographie
yes
Altmetrics
Browsen
Organisationseinheiten
Publikationstypen
Autoren
Publizieren
Neue Publikation
Statistik
Downloads nach Land
Beliebteste Publikationen
Beliebteste Autoren