Year | DOI | Venue |
---|---|---|
2005 | 10.1145/1095921.1095981 | CoNEXT |
Keywords | Field | DocType |
uml-based modeling,security protocol,formal verification,quality of service,overlay networks | Unified Modeling Language,Peer-to-peer,Cryptographic protocol,Computer science,Quality of service,Computer network,Security service,Overlay network,Formal verification,Distributed computing | Conference |
ISBN | Citations | PageRank |
1-59593-197-X | 0 | 0.34 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sara Mota | 1 | 3 | 0.74 |
Benjamin Fontan | 2 | 3 | 1.07 |