5488 search results - page 811 / 1098 » On the Secure Implementation of Security Protocols |
169
click to vote
BPM
2005
Springer
16 years 4 days ago
2005
Springer
With the advent of Web services and orchestration specifications like BPEL it is possible to define workflows on an Internet-scale. In the health-care domain highly structured and ...
160
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Genetic Programming (GP) based Intrusion Detection Systems (IDS) use connection state network data during their training phase. These connection states are recorded as a set of fe...
155
click to vote
AIS
2004
Springer
15 years 12 months ago
2004
Springer
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
178
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
134
click to vote
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
A self-healing key distributionscheme enables a group of users to establish a group key over an unreliable channel. In such a protocol, a group manager, to distributea session key...