共 19 条
[1]
BLAZE M, 1998, LECT NOTES COMPUTER, V1465, P254
[2]
Blaze M., 1999, RFC2704
[3]
CAHILL V, 2003, IEEE PERVASIVE COMPU, V2
[4]
CAPRA L, 2004, P 12 INT S FDN SOFTW, P107
[5]
A formal model for trust in dynamic networks
[J].
FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS,
2003,
:54-61
[6]
English C, 2003, LECT NOTES COMPUT SC, V2692, P136
[7]
Fall K., NS MANUAL FORMALLY N
[8]
Grandison T, 2003, LECT NOTES COMPUT SC, V2692, P91
[10]
KIM M, 2005, P IEEE INT C PERV SE