4036 search results - page 105 / 808 » Formal Methods |
142
click to vote
ACSW
2006
15 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
146
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
139
click to vote
EUROCRYPT
1999
Springer
15 years 9 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
123
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
139
click to vote
EKAW
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...