1679 search results - page 26 / 336 » Security Properties and CSP |
127
click to vote
ACISP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Two of the most recent and powerful multi-property-preserving (MPP) hash domain extension transforms are the Ramdom-Oracle-XOR (ROX) transform and the Enveloped Shoup (ES...
126
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
136
click to vote
WOWMOM
2005
ACM
15 years 10 months ago
2005
ACM
This paper considers the small-world phenomenon in two contexts: ubiquitous computing and security. We argue that small-world properties emerge in ubicomp systems due to their nat...
164
click to vote
SP
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
133
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...