3504 search results - page 323 / 701 » Secure protocol composition |
161
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Users often wish to participate in online groups anonymously, but misbehaving users may abuse this anonymity to disrupt the group's communication. Existing messaging protocol...
166
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Most of the recent work on Web security focuses on preventing attacks that directly harm the browser's host machine and user. In this paper we attempt to quantify the threat ...
202
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
160
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
189
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...