4211 search results - page 662 / 843 » A formal approach to MASQ |
166
click to vote
SP
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
199
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
170
click to vote
ASPDAC
2005
ACM
16 years 3 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
189
click to vote
WOSP
2005
ACM
16 years 3 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
183
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...