5255 search results - page 359 / 1051 » Formal Methods for Privacy |
159
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
163
click to vote
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
121
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
164
click to vote
SAFECOMP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
167
click to vote
PROVSEC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...