1679 search results - page 141 / 336 » Security Properties and CSP |
176
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
214
click to vote
PPNA
2011
15 years 1 months ago
2011
Streaming applications over Peer-To-Peer (P2P) systems have gained an enormous popularity. Success always implies increased concerns about security, protection, privacy and all the...
196
click to vote
MUE
2007
IEEE
16 years 19 days ago
2007
IEEE
Securing multimedia transmission has become a challenging issue due to the popularization of real-time multimedia applications such as video surveillance, satellite communication ...
182
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— Providing end-to-end data security, i.e., data confidentiality, authenticity, and availability, in wireless sensor networks (WSNs) is a non-trivial task. In addition t...
173
click to vote
HPCC
2005
Springer
15 years 12 months ago
2005
Springer
Nowadays the success of many e-commerce applications, such as on-line banking, depends on their reliability, robustness and security. Designing a web server architecture that keep...