mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • 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
Value Sensitivity and Observable Abstract Values for Information Flow Control
Chalmers University of Technology, Gothenburg, Sweden.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Chalmers University of Technology, Gothenburg, Sweden.ORCID-id: 0000-0002-6621-8390
Chalmers University of Technology, Gothenburg, Sweden.
2015 (engelsk)Inngår i: 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'15, 2015, s. 63-78Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Much progress has recently been made on information flow control, enabling the enforcement of increasingly rich policies for increasingly expressive programming languages. This has resulted in tools for mainstream programming languages as JavaScript, Java, Caml, and Ada that enforce versatile security policies. However, a roadblock on the way to wider adoption of these tools has been their limited permissiveness (high number of false positives). Flow-, context-, and object-sensitive techniques have been suggested to improve the precision of static information flow control and dynamic monitors have been explored to leverage the knowledge about the current run for precision. This paper explores value sensitivity to boost the permissiveness of information flow control. We show that both dynamic and hybrid information flow mechanisms benefit from value sensitivity. Further, we introduce the concept of observable abstract values to generalize and leverage the power of value sensitivity to richer programming languages. We demonstrate the usefulness of the approach by comparing it to known disciplines for dealing with information flow in dynamic and hybrid settings.

sted, utgiver, år, opplag, sider
2015. s. 63-78
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-30487DOI: 10.1007/978-3-662-48899-7_5ISI: 000375574900005Scopus ID: 2-s2.0-84952650183ISBN: 978-3-662-48898-0 (tryckt)OAI: oai:DiVA.org:mdh-30487DiVA, id: diva2:885952
Konferanse
20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'15, 23 Nov 2015, Suva, Fiji
Tilgjengelig fra: 2015-12-21 Laget: 2015-12-21 Sist oppdatert: 2017-01-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Hedin, Daniel

Søk i DiVA

Av forfatter/redaktør
Hedin, Daniel
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • 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