786 search results - page 28 / 158 » A Software System for Secure Computer Aided Exams |
TAPSOFT
1997
Springer
15 years 3 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
EUROMICRO
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
101
click to vote
IEEEARES
2009
IEEE
14 years 9 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
SIGUCCS
2003
ACM
15 years 5 months ago
2003
ACM
Indiana State University has found a way in its 25+ computing facilities to combine the need for a central stable lab image and small support staff with the academic needs of flex...
CISIS
2009
IEEE
15 years 6 months ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...