2575 search results - page 133 / 515 » Providing security with insecure systems |
158
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Many emergent security threats which did not exist in the traditional telephony network are introduced in SIP VoIP services. To provide high-level security assurance to SIP VoIP s...
168
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
196
click to vote
JOC
2011
15 years 1 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
140
click to vote
TRIDENTCOM
2008
IEEE
16 years 20 days ago
2008
IEEE
Several difficulties arise when testing network security algorithms. First, using network data captured at a router does not guarantee that any instances of the security event of...
179
click to vote
MUE
2007
IEEE
16 years 17 days ago
2007
IEEE
RFID technology has been applied to a number of applications. In [5], a protocol was described how to apply RFID to currency to provide integrity (e.g. reduce counterfeiting) whil...