3504 search results - page 43 / 701 » Secure protocol composition |
INFSOF
2010
14 years 8 months ago
2010
DOCENG
2009
ACM
14 years 7 months ago
2009
ACM
CORR
2011
Springer
14 years 4 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
SPW
1997
Springer
15 years 1 months ago
1997
Springer
There are many cases in the literature in which reuse of the same key material for different functions can open up security holes. In this paper, we discuss such interactions betw...
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...