671 search results - page 55 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
164
click to vote
CSFW
2006
IEEE
16 years 2 days 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...
157
click to vote
SEFM
2005
IEEE
15 years 11 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...
147
click to vote
SIGMOD
2010
ACM
15 years 10 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...
152
click to vote
EMISA
2005
Springer
15 years 11 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 ...
196
click to vote
JOT
2010
15 years 4 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...