2043 search results - page 332 / 409 » Reasoning About Security Models |
159
click to vote
IWPC
2007
IEEE
15 years 12 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
174
click to vote
LCN
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract—We introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our traffic...
141
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
163
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
145
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...