6137 search results - page 775 / 1228 » Securing Collaborative Applications |
175
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
206
click to vote
ITP
2010
15 years 11 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
193
click to vote
SP
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—In network intrusion detection research, one popular strategy for finding attacks is monitoring a network’s activity for anomalies: deviations from profiles of norma...
188
click to vote
ASIACRYPT
2006
Springer
15 years 11 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
166
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...