3349 search results - page 77 / 670 » Data Security |
104
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
131
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Long-term preservation of data and software of large experiments and detectors in high energy physics is of utmost importance to secure the heritage of (mostly unique) data and to...
143
click to vote
JTAER
2010
15 years 1 months ago
2010
An Input validation can be a critical issue. Typically, a little attention is paid to it in a web development project, because overenthusiastic validation can tend to cause failur...
113
click to vote
ACSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
Securely authenticating a human user without assistance from any auxiliary device in the presence of powerful passive adversaries is an important and challenging problem. Passive ...
129
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...