300 search results - page 50 / 60 » The Extension Theorem |
CTRSA
2005
Springer
14 years 28 days ago
2005
Springer
We present the first blind identity-based signcryption (BIBSC). We formulate its security model and define the security notions of blindness and parallel one-more unforgeability ...
EMSOFT
2004
Springer
14 years 24 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
LICS
2003
IEEE
14 years 20 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
INFOCOM
2002
IEEE
14 years 10 days ago
2002
IEEE
Abstract— In [1], Gupta and Kumar determined the capacity of wireless networks under certain assumptions, among them point-to-point coding, which excludes for example multi-acces...
CONCUR
2001
Springer
13 years 12 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...