526 search results - page 25 / 106 » A Z Based Approach to Verifying Security Protocols |
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
A common way of resisting protocol attacks is to employ cryptographic techniques so that provable security can be retained. However, some desired requirements of watermarking such...
IM
2007
13 years 9 months ago
2007
- Many researchers have considered security policy management, including how to configure policies manually and even how to automatically generate security policies based on securi...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
CSREASAM
2006
13 years 9 months ago
2006
Multicast Security is one of the important problems to solve for the successful deployment of group communication applications, and source authentication of multicast data is a key...