5255 search results - page 261 / 1051 » Formal Methods for Privacy |
127
Voted
EUROPKI
2004
Springer
15 years 9 months ago
2004
Springer
We present a framework for extending the functionality of LDAP servers from their typical use as a public directory in public key infrastructures. In this framework the LDAP server...
111
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we will present a method for generating conversations between human-like agents by proposing specific parameters for inter-agents messages with an approximation of...
149
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
103
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
107
click to vote
MOC
2010
14 years 11 months ago
2010
In this paper, we present a new method to rigorously compute smooth branches of zeros of nonlinear operators f : Rl1