CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Securing Interaction between Threads and the Scheduler in the Presence of Synchronization

Alejandro Russo (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)) ; Andrei Sabelfeld (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers))
Journal of Logic and Algebraic Programming (1567-8326 ). Vol. 78 (2009), 7, p. 593-618.
[Artikel, refereegranskad vetenskaplig]

The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often suffer from over-restrictiveness, relying on nonstandard semantics, lack of compositionality, inability to handle dynamic threads,inability to handle synchronization, scheduler dependence, and efficiency overhead for the code that results from security-enforcing transformations. This paper suggests a remedy for some of these shortcomings by developing a novel treatment of the interaction between threads and the scheduler. As a result, we present a permissive noninterference-like security specification and a compositional security type system that provably enforces this specification. The type system guarantees security for a wide class of schedulers and provides a flexible and efficiency-friendly treatment of dynamic threads.

Nyckelord: Internal timing covert channel, Non-interference, information-flow, language-based security, concurrency, semaphores

19th Nordic Workshop on Programming Theory Oslo, NORWAY, OCT 10-12, 2007

Denna post skapades 2008-10-21. Senast ändrad 2016-07-22.
CPL Pubid: 75994


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)



Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Language Support for Controlling Timing-Based Covert Channels