Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Logic for Information Flow Analysis of Distributed Programs: (Extended Abstract)
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
2013 (English)Report (Other academic)
Abstract [en]

Securing communication in large scale distributed systems is an open problem. When multiple principals exchange sensitive information over a network, security and privacy issues arise immediately. For instance, in an online auction system we may want to ensure that no bidder knows the bids of any other bidder before the auction is closed. Such systems are typically interactive/reactive and communication is mostly asynchronous, lossy or unordered. Language-based security provides language mechanisms for enforcing end-to-end security. However, with few exceptions, previous research has mainly focused on relational or synchronous models, which are generally not suitable for distributed systems.

This paper proposes a general knowledge-based account of possibilistic security from a language perspective and shows how existing trace-based conditions fit in. A syntactic characterization of these conditions, given by an epistemic temporal logic, shows that existing model checking tools can be used to enforce security.

Place, publisher, year, edition, pages
KTH Royal Institute of Technology, 2013. , 19 p.
Keyword [en]
possibilistic information flow, logic of knowledge, language-based security, verification
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-124418OAI: oai:DiVA.org:kth-124418DiVA: diva2:635362
Note

QC 20130710

Available from: 2013-07-03 Created: 2013-07-03 Last updated: 2013-07-10Bibliographically approved

Open Access in DiVA

NordSec13_extended(351 kB)152 downloads
File information
File name FULLTEXT01.pdfFile size 351 kBChecksum SHA-512
783f93afc9a23d26b04c06e86012ee0f37650ad316d12b8638bdfe1cf3c3d48a1e4e95f522c56ccb294bd85d64b95b963a286b404ea90f128491997f50f2fb58
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Balliu, Musard
By organisation
Theoretical Computer Science, TCS
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 152 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 96 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf