392 search results - page 15 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
103
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
103
Voted
GRAPHITE
2007
ACM
15 years 4 months ago
2007
ACM
Point-sampled geometry has gained significant interest due to their simplicity. The lack of connectivity touted as a plus, however, creates difficulties in many operations like ge...
105
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
113
click to vote
SMA
2009
ACM
15 years 6 months ago
2009
ACM
Many algorithms for shape analysis and shape processing rely on accurate estimates of differential information such as normals and curvature. In most settings, however, care must...
113
click to vote
ECOOPW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...