2257 search results - page 103 / 452 » Secure program partitioning |
126
click to vote
SIGADA
2004
Springer
15 years 7 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...
121
click to vote
CCS
2007
ACM
15 years 8 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...
92
Voted
OOPSLA
2001
Springer
15 years 6 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...
117
click to vote
OOPSLA
2010
Springer
15 years 17 days 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 ...
120
Voted
FOSAD
2000
Springer
15 years 5 months 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...