2257 search results - page 103 / 452 » Secure program partitioning |
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
OOPSLA
2001
Springer
14 years 1 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
FOSAD
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...