1679 search results - page 121 / 336 » Security Properties and CSP |
151
click to vote
CCECE
2006
IEEE
16 years 13 days ago
2006
IEEE
Services such as audio/video streaming, advertising, and software distribution can be delivered much more efficiently by Network Service Providers if multicast data distribution i...
170
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
172
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
141
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
At TCC 2005, Backes and Cachin proposed a new and very strong notion of security for public key steganography: secrecy against adaptive chosen covertext attack (SS-CCA); and posed ...
160
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Web-based third-party architectures for data publishing are today receiving growing attention, due to their scalability and the ability to efficiently manage large numbers of use...