733 search results - page 94 / 147 » Formal Reasoning About Intrusion Detection Systems |
195
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Distributed Hash Tables (DHTs) have been used in a variety of applications, but most DHTs so far have opted to solve lookups with multiple hops, which sacrifices performance in o...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
CHI
1994
ACM
15 years 3 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...