671 search results - page 55 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
113
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
108
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
106
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speci...
100
click to vote
EMISA
2005
Springer
15 years 7 months ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
138
click to vote
JOT
2010
14 years 12 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...