Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Stateful Authorization Logic - Proof Theory and a Case Study

Garg, D., & Pfennig, F. (2012). Stateful Authorization Logic - Proof Theory and a Case Study. Journal of Computer Security, 20(4), 353-391. doi:10.3233/JCS-2012-0456.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-5A54-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-5A55-E
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Garg, Deepak1, Autor           
Pfennig, Frank2, Autor
Affiliations:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20122012
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 629488
DOI: 10.3233/JCS-2012-0456
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Computer Security
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Amsterdam : IOS Press
Seiten: - Band / Heft: 20 (4) Artikelnummer: - Start- / Endseite: 353 - 391 Identifikator: ISSN: 0926-227X
ISSN: 1875-8924