3088 search results - page 180 / 618 » Multichannel Security Protocols |
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
In [7] we have proposed a model for the robust and private evaluation of a function within a group of cooperating mobile agents, called an agent Alliance. The model has been given...
AINA
2005
IEEE
14 years 3 months ago
2005
IEEE
IPSec (IP Security) and SSL (Secure Socket Layer) have been the most robust and most potential tools available for securing communications over the Internet. Both IPSec and SSL ha...
POLICY
2007
Springer
14 years 4 months ago
2007
Springer
The process of policy reconciliation allows multiple parties with possibly different policies to resolve differences in order to reach an agreement on an acceptable policy. Previo...
CSFW
1995
IEEE
14 years 1 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
LREC
2010
13 years 11 months ago
2010
This paper is concerned with resources for controlled languages for alert messages and protocols in the European perspective. These resources have been produced as the outcome of ...