1746 search results - page 198 / 350 » A Constructive Semantics for ALC |
138
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
188
click to vote
ASIACRYPT
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
159
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
The Java Message Service (JMS) provides a standard asynchronous messaging API, which simplifies the construction of loosely coupled, distributed applications. This paper describes ...
135
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
146
click to vote
CRYPTO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...