2687 search results - page 302 / 538 » Formal Analysis of PKCS |
162
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
156
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...
174
click to vote
PDCAT
2007
Springer
16 years 22 days ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
129
click to vote
CIMCA
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...
213
click to vote
CSFW
2006
IEEE
16 years 21 days 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...