193 search results - page 17 / 39 » An Aspect-Oriented Approach to Security Requirements Analysi... |
IJCNN
2000
IEEE
15 years 4 months ago
2000
IEEE
The timely and accurate detection of computer and network system intrusions has always been an elusive goal for system administrators and information security researchers. Existin...
NSPW
2003
ACM
15 years 5 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
112
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
114
click to vote
SAFECOMP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...