2687 search results - page 210 / 538 » Formal Analysis of PKCS |
153
click to vote
UAI
2004
15 years 6 months ago
2004
An autonomous variational inference algorithm for arbitrary graphical models requires the ability to optimize variational approximations over the space of model parameters as well...
118
click to vote
NAACL
1994
15 years 6 months ago
1994
In this paper, we describe a reversibleletter-to-sound/soundto-letter generation system based on an approach which combines a rule-based formalism with data-driven techniques. We ...
150
click to vote
LISP
2008
15 years 4 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
160
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
129
click to vote
IJNSEC
2007
15 years 4 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...