3504 search results - page 21 / 701 » Secure protocol composition |
QSIC
2007
IEEE
15 years 3 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
TPHOL
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
ICIW
2007
IEEE
15 years 3 months ago
2007
IEEE
Web services specification provides an open standard for the distributed service oriented architecture. It is widely used in Internet and pervasive networks supporting wireless m...
HPCC
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Service composition, which enables users to construct complex services from atomic services, is an essential feature for the usability of Mobile Ad hoc Networks (MANETs)....
ASWEC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...