171 search results - page 17 / 35 » CoSP: a general framework for computational soundness proofs |
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
123
click to vote
LOGCOM
2008
14 years 11 months ago
2008
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
MM
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
104
Voted
TARK
2009
Springer
15 years 6 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
110
click to vote
PKC
2012
Springer
13 years 2 months ago
2012
Springer
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...