5255 search results - page 238 / 1051 » Formal Methods for Privacy |
138
Voted
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
155
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
133
Voted
PVM
2007
Springer
15 years 10 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
140
click to vote
ICFCA
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
120
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...