2213 search results - page 172 / 443 » Software Security |
109
Voted
VMCAI
2010
Springer
16 years 27 days 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'...
121
Voted
USS
2008
15 years 6 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...
124
Voted
ACMICEC
2007
ACM
15 years 7 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...
144
Voted
ERSHOV
2003
Springer
15 years 8 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...
127
click to vote
CSREASAM
2006
15 years 5 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 ...