2213 search results - page 83 / 443 » Software Security |
147
click to vote
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
101
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
146
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
120
click to vote
ISJGP
2007
15 years 3 months ago
2007
Government-endorsed security evaluations, like those performed under the Common Criteria (CC), use established techniques of software quality assurance to try to evaluate product ...
159
click to vote
SERP
2010
15 years 1 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...