Toward a Multilevel-Secure, Best-Effort Real-Time Scheduler

Boucher, P.K.; Clark, Raymond K.; Greenberg, I.B.; Jensen, E. Douglas; Wells, Douglas M.

doi:10.1007/978-3-7091-9396-9_8

Cited by 3 publications

(2 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An example for such a third thread is a crypto-gateway, that is, a server we trust to encrypt messages from the sender before relaying them to the receiver, thereby protecting the confidentiality of these messages. 2 We do not claim our predicates to be minimal in the sense that they are the least restrictive predicates that can be statically computed. Further predicates remain to be investigated.…”

Section: Intransitive Policiesmentioning

confidence: 99%

See 1 more Smart Citation

Avoiding timing channels in fixed-priority schedulers

Völp

Hamann

Härtig

2008

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security

View full text Add to dashboard Cite

A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks.This modification is rather simple: we compute at admission time a static predicate that states whether a thread may possibly leak information; if such a thread blocks we switch to the idle thread instead.We describe the modified scheduler, provide a mechanical PVS-based proof of noninterference and show how common admission algorithms can be reused to give real-time guarantees for this modified scheduler. While providing similar isolation guarantees, our approach outperforms timepartitioning schedulers in terms of achieved real-time guarantees.

show abstract

Section: Intransitive Policiesmentioning

confidence: 99%

“…Boucher et al [2] propose a best-effort scheduler that selects threads according to their time-value function. This function describes how valuable it is to schedule the thread at a given point in time.…”

Section: Aperiodic and Sporadic Threadsmentioning

confidence: 99%