4340 search results - page 251 / 868 » Formal Methods and Cryptography |
153
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
148
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
We describe a new method for protecting the anonymity of message receivers in an untrusted network. Surprisingly, existing methods fail to provide the required level of anonymity ...
161
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
189
click to vote
RWEB
2010
Springer
15 years 4 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
203
Voted
MTV
2007
IEEE
16 years 9 days ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...