323 search results - page 16 / 65 » Verifying the Mondex Case Study |
KI
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
WWW
2006
ACM
14 years 10 months ago
2006
ACM
We study how to design experiments to measure the success rates of phishing attacks that are ethical and accurate, which are two requirements of contradictory forces. Namely, an e...
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
ASPDAC
2004
ACM
14 years 3 months ago
2004
ACM
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...
CANDC
2004
ACM
13 years 9 months ago
2004
ACM
Genomic analyses on part of Escherichia coli's chromosome had suggested the existence of a GATC regulated network. This has recently been confirmed through a transcriptome an...