1154 search results - page 101 / 231 » Making Self-organizing Systems Secure |
162
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
122
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Malware has become the centerpiece of most security threats on the Internet. Malware analysis is an essential technology that extracts the runtime behavior of malware, and supplie...
110
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
FC
2003
Springer
15 years 6 months ago
2003
Springer
Decentralized anonymity infrastructures are still not in wide use today. While there are technical barriers to a secure robust design, our lack of understanding of the incentives t...
129
click to vote
OOPSLA
1990
Springer
15 years 5 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...