1948 search results - page 115 / 390 » Formalizing Mirror Theory |
147
click to vote
ICCS
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
178
click to vote
TPHOL
2009
IEEE
16 years 5 days 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...
140
Voted
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
Pseudo-intents (also called pseudo-closed sets) of formal contexts have gained interest in recent years, since this notion is helpful for finding minimal representations of impli...
177
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
196
click to vote
IFIP
2010
Springer
15 years 12 days ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...