357 search results - page 59 / 72 » Code security analysis with assertions |
ICIAR
2005
Springer
14 years 3 months ago
2005
Springer
As digitalized content rapidly proliferates in networked systems, content security necessarily arises as one of the most important issues. Many developers have studied techniques ...
USS
2004
13 years 11 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
ESORICS
2004
Springer
14 years 3 months ago
2004
Springer
We evaluate the anonymity provided by two popular email mix implementations, Mixmaster and Reliable, and compare their effectiveness through the use of simulations which model th...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
Cloud Computing is an emerging technology promising new business opportunities and easy deployment of web services. Much has been written about the risks and benefits of cloud co...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...