378 search results - page 75 / 76 » Programming with Explicit Security Policies |
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Spyware is an increasing problem. Interestingly, many programs carrying spyware honestly disclose the activities of the software, but users install the software anyway. We report ...
MMSEC
2006
ACM
14 years 1 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
OOPSLA
2005
Springer
14 years 29 days ago
2005
Springer
An acceptability envelope is a region of imperfect but acceptable software systems surrounding a given perfect system. Explicitly targeting the acceptability envelope during devel...
OOPSLA
2004
Springer
14 years 25 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...