5475 search results - page 258 / 1095 » Model Driven Security |
206
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
We give the first proof of security for an identity-based encryption scheme in the quantum random oracle model. This is the first proof of security for any scheme in this model ...
141
click to vote
VAMOS
2007
Springer
16 years 21 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
184
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
The only known construction of identity-based signatures that can be proven secure in the standard model is based on the approach of attaching certificates to non-identity-based si...
187
click to vote
EG
2007
15 years 6 months ago
2007
: Electronic voting may be a feasible option for several election environments, from closed-group elections to nation-wide elections. Especially with online voting, people will be ...
160
click to vote
IACR
2011
14 years 6 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...