2257 search results - page 71 / 452 » Secure program partitioning |
OOPSLA
1991
Springer
14 years 9 days ago
1991
Springer
PICASSOis a graphical user interface development environment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features including multiple inheritanc...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
The purpose of this article is to propose a survey of possible approaches for implementing embedded reconfigurable gate arrays into secure circuits. A standard secure interfacing ...
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
As networks become faster there is an emerging need for security analysis techniques that can keep up with the increased network throughput. Existing network-based intrusion detec...
HPCC
2007
Springer
14 years 3 months ago
2007
Springer
The grid security architecture today does not prevent certain unauthorized access to the files associated with a job executing on a remote machine. Programs and data are transferre...