2687 search results - page 445 / 538 » Formal Analysis of PKCS |
174
click to vote
BTW
2007
Springer
16 years 8 days ago
2007
Springer
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...
149
click to vote
CAISE
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
173
click to vote
CAV
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
153
click to vote
CAV
2007
Springer
16 years 8 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
133
Voted
CCS
2007
ACM
16 years 8 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...