2257 search results - page 106 / 452 » Secure program partitioning |
122
click to vote
DMS
2010
15 years 5 days ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
102
Voted
IEEEIAS
2009
IEEE
15 years 8 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
114
click to vote
AAAI
1996
15 years 3 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
118
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...
140
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...