Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
ConSpec: A Formal Language for Policy Specification
KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
University of Trento, Italy.
2008 (engelsk)Inngår i: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 74, nr 1-2, s. 2-12Artikkel i tidsskrift (Fagfellevurdert) Published
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.

sted, utgiver, år, opplag, sider
2008. Vol. 74, nr 1-2, s. 2-12
Emneord [en]
Policy language, Security enforcement mechanisms, Runtime monitoring, Security frameworks
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-13477DOI: 10.1016/j.scico.2008.09.004ISI: 000261896200002Scopus ID: 2-s2.0-56349132805OAI: oai:DiVA.org:kth-13477DiVA, id: diva2:325513
Merknad
QC 20100618Tilgjengelig fra: 2010-06-18 Laget: 2010-06-18 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Søk i DiVA

Av forfatter/redaktør
Aktug, Irem
Av organisasjonen
I samme tidsskrift
Science of Computer Programming

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 264 treff
RefereraExporteraLink to record
Permanent link

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