786 search results - page 21 / 158 » A Software System for Secure Computer Aided Exams |
124
click to vote
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
NSPW
2004
ACM
15 years 5 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
101
click to vote
TRUST
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...