Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
ConSpec: A Formal Language for Policy Speci-fication
KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
University of Trento, Italy.
2007 (Engelska)Ingår i: Proceedings of The First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM’07), 2007, s. 45-58Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
Abstract [en]

The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle, rendering possible the formalization of various policy enforcement techniques.

Ort, förlag, år, upplaga, sidor
2007. s. 45-58
Serie
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661 ; 197-1
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:kth:diva-13470DOI: 10.1016/j.entcs.2007.10.013Scopus ID: 2-s2.0-39149102159OAI: oai:DiVA.org:kth-13470DiVA, id: diva2:325457
Konferens
First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 2007), Dresden, Germany, 27 September 2007
Anmärkning

QC 20141029

Full version published in "Science of Computer Programming" 74:1-2 (2008) s. 2-12.

Tillgänglig från: 2010-06-18 Skapad: 2010-06-18 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Aktug, Irem
Av organisationen
Teoretisk datalogi, TCS
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 167 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf