297 search results - page 47 / 60 » Formal Analysis of a Non-Repudiation Protocol |
160
Voted
PODC
1994
ACM
15 years 6 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
116
Voted
ADHOCNOW
2008
Springer
15 years 8 months ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
105
Voted
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...
113
Voted
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
157
Voted
NETWORKING
2000
15 years 3 months ago
2000
Mobile ad hoc wireless networks are generating novel interests in mobile computing. The dynamism in network topology has thrown up multifarious issues, requiring a fresh look into ...