32032 search results - page 137 / 6407 » Verified programming in Guru |
123
click to vote
EUMAS
2006
15 years 6 months ago
2006
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
164
click to vote
CSREASAM
2009
15 years 5 months ago
2009
In this paper we propose a new designated verifier signature scheme based on the threshold signature scheme presented [8] by Ghodosi and Pieprzyk. The advantages of the new scheme ...
121
click to vote
IJNSEC
2008
15 years 4 months ago
2008
Multi-Designated Verifier Signatures (MDVS) are privacy-oriented signatures that can only be verified by a set of users specified by the signer. We propose two new generic constru...
153
click to vote
FUIN
2007
15 years 4 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
129
click to vote
SIGECOM
2008
ACM
15 years 4 months ago
2008
ACM
We consider the amount of communication required to verify the outcome of the Vickrey-Clarke-Groves (VCG) mechanism: an efficient allocation together with incentivizing VCG paymen...