2213 search results - page 172 / 443 » Software Security |
143
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
163
click to vote
USS
2008
15 years 8 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
184
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
191
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
179
click to vote
CSREASAM
2006
15 years 8 months ago
2006
The major concern for a computer system is its security and integrity. It is necessary to check the security level of your system and keep it updated. This can be best achieved by ...