741 search results - page 112 / 149 » Verification of security protocols using LOTOS-method and ap... |
184
click to vote
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
165
click to vote
MOMM
2006
ACM
15 years 9 months ago
2006
ACM
: Telecommunication networks and the Internet are growing together. Peer-to-Peer (P2P) services which are originally offered by network providers, like telephony and messaging, ar...
130
click to vote
CHES
2009
Springer
16 years 4 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...
266
click to vote
PADL
2009
Springer
16 years 4 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
147
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...