3811 search results - page 136 / 763 » The Safe-Tcl Security Model |
148
click to vote
HPCC
2007
Springer
16 years 17 days ago
2007
Springer
Object-based storage offloads some works of file systems to storage devices to improve security, scalability, and performance. Security is a main concern when sharing data over ne...
130
click to vote
EDO
2005
Springer
15 years 12 months ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
155
click to vote
IMA
2005
Springer
15 years 12 months ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
146
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
All Internet-accessible computing systems are currently faced with incessant threats ranging from simple scriptkiddies to highly sophisticated criminal enterprises. In response to...
175
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...