3811 search results - page 296 / 763 » The Safe-Tcl Security Model |
162
Voted
RP
2009
Springer
16 years 1 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
212
click to vote
EUROCRYPT
2012
Springer
13 years 9 months ago
2012
Springer
We provide an alternative method for constructing lattice-based digital signatures which does not use the “hash-and-sign” methodology of Gentry, Peikert, and Vaikuntanathan (ST...
169
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
183
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
177
click to vote
ADC
2007
Springer
16 years 27 days ago
2007
Springer
XQuery is a powerful and convenient language that is designed for querying the data in XML documents. In this paper, we address how to optimally query encrypted XML documents usin...