733 search results - page 73 / 147 » Formal Reasoning About Intrusion Detection Systems |
202
click to vote
PLDI
2009
ACM
16 years 15 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
109
click to vote
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
EUROSEC
2009
ACM
15 years 6 months ago
2009
ACM
The network is becoming faster day by day. High-speed links, of many Gbps, are considered as commodity technology empowering the Internet. On the other hand, Moore’s law still a...