2281 search results - page 225 / 457 » Security Patterns and Secure Systems Design |
110
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
94
Voted
ENTCS
2007
15 years 1 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
114
Voted
TISSEC
2008
15 years 28 days ago
2008
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...
CCR
2010
14 years 10 months ago
2010
The cybersecurity information exchange framework, known as CYBEX, is currently undergoing its first iteration of standardization efforts within ITU-T. The framework describes how ...
124
Voted
PKC
2012
Springer
13 years 3 months ago
2012
Springer
In this work, we study a new multivariate quadratic (MQ) assumption that can be used to construct public-key encryption schemes. In particular, we research in the following two di...