3504 search results - page 53 / 701 » Secure protocol composition |
CSFW
2000
IEEE
15 years 2 months ago
2000
IEEE
55
Voted
CRITIS
2006
15 years 1 months ago
2006
ASWEC
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
ISPEC
2009
Springer
15 years 4 months ago
2009
Springer
