1302 search results - page 183 / 261 » Soundness in the Public-Key Model |
156
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
165
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
In earlier work, we described a “pathological” example of a signature scheme that is secure in the Random Oracle Model, but for which no secure implementation exists. For that...
207
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
158
click to vote
ICTCS
2003
Springer
15 years 11 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
146
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
IT professionals are finding that more of their IT investments are being measured against a knowledge management (KM) metric. Those who want to deploy foundation technologies such...