576 search results - page 84 / 116 » Implementing a secure setuid program |
105
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
112
click to vote
POPL
1999
ACM
15 years 6 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
112
click to vote
ATC
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
111
click to vote
DKE
2007
15 years 2 months ago
2007
In aspect-oriented programming (AOP) a cross-cutting concern is implemented in an aspect. An aspect weaver blends code from the aspect into a program’s code at programmer-specifi...
118
click to vote
FASE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...