1472 search results - page 244 / 295 » On Model Checking Infinite-State Systems |
137
Voted
WORM
2003
15 years 4 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
122
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
155
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
154
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
118
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...