53 search results - page 1 / 11 » Supporting Function Calls within PELCR |
ENTCS
2006
13 years 11 months ago
2006
ACSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
HCI
2009
13 years 8 months ago
2009
The military environment is changing, e.g., the operating environment is becoming more varied and demanding. Due to these challenges, new user interfaces (UIs) are required providi...
CSFW
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
CADE
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...