3333 search results - page 279 / 667 » Abstract Proof Search |
207
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
179
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
178
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we present a general framework for passwordbased authenticated key exchange protocols, in the common reference odel. Our protocol is actually an abstraction...
175
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
179
click to vote
FOSSACS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...