2108 search results - page 134 / 422 » An Operational Semantics for Stateflow |
121
click to vote
ICITA
2005
IEEE
15 years 10 months ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
149
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
145
Voted
TYPES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
140
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
143
click to vote
PACT
2001
Springer
15 years 9 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...