530 search results - page 49 / 106 » Security Analysis of Open Building Automation Systems |
120
click to vote
JCS
2011
14 years 10 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
156
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...
118
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Automated negotiation has attracted growing interest within fields such as e-business, multi-agent systems, and web services. Nevertheless, a majority of automated negotiation res...
130
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
159
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...