Change search
ReferencesLink to record
Permanent link

Direct link
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
URN: urn:nbn:se:kth:diva-124418OAI: diva2:635362

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)117 downloads
File information
File name FULLTEXT01.pdfFile size 351 kBChecksum SHA-512
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: 117 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

Total: 73 hits
ReferencesLink to record
Permanent link

Direct link