Confinement Properties for Multi-Threaded Programs
FLORIDA INTERNATIONAL UNIV MIAMI SCHOOL OF COMPUTER SCIENCE
Pagination or Media Count:
Given a program that has access to some private information, how can we ensure that it does not improperly leak the information We formalize the desired security property as a property called noninterference. We discuss versions of noninterference appropriate for multi-threaded programs with probabilistic scheduling and describe rules for ensuring noninterference.
- Computer Programming and Software
- Computer Systems Management and Standards