741 search results - page 75 / 149 » Verification of security protocols using LOTOS-method and ap... |
129
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
130
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
RFID technology increases rapidly its applicability in new areas of interest without guaranteeing security and privacy issues. This paper presents a new architecture of an RFID tr...
127
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
There is a natural intuitive match between anonymity and information theory. In particular, the maximal anonymity loss in anonymity protocols can be matched to the information the...
118
click to vote
COMSUR
2007
15 years 4 months ago
2007
Covert channels are used for the secret transfer of information. Encryption only protects communication from being decoded by unauthorised parties, whereas covert channels aim to ...
157
click to vote
CSREASAM
2006
15 years 5 months ago
2006
Group communication is becoming increasingly popular in Internet applications such as videoconferences, online chatting programs, games, and gambling. For secure communications, th...