526 search results - page 75 / 106 » A Z Based Approach to Verifying Security Protocols |
ALGORITHMICA
2004
13 years 7 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
TRUST
2010
Springer
14 years 22 days ago
2010
Springer
Secure outsourcing of computation to an untrusted (cloud) service provider is becoming more and more important. Pure cryptographic solutions based on fully homomorphic and verifia...
JSS
2007
13 years 7 months ago
2007
This paper presents Worm-IT, a new intrusion-tolerant group communication system with a membership service and a view-synchronous atomic multicast primitive. The system is intrusi...
IJNSEC
2011
2011
Location-aware, Trust-based Detection and Isolation of Compromised Nodes in Wireless Sensor Networks
13 years 2 months ago
The detection and isolation of compromised nodes in wireless sensor networks is a difficult task. However, failure to identify and isolate compromised nodes results in significan...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— ARP cache poisoning is considered to be one of the easiest and dangerous attacks in local area networks. This paper proposes a solution to the ARP poisoning problem by extendin...