4036 search results - page 417 / 808 » Formal Methods |
136
click to vote
SIGCSE
1998
ACM
15 years 11 months ago
1998
ACM
Through the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a ...
173
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
184
click to vote
FORTE
2004
15 years 8 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
165
Voted
DSD
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
152
click to vote
ENTCS
2008
15 years 6 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...