4340 search results - page 119 / 868 » Formal Methods and Cryptography |
173
click to vote
FTRTFT
1992
Springer
15 years 8 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
125
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
112
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
124
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
168
click to vote
IFIP13
2004
15 years 5 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...