1183 search results - page 71 / 237 » On flow-sensitive security types |
141
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
155
click to vote
SPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
160
Voted
FC
1998
Springer
15 years 8 months ago
1998
Springer
Digital watermarking is a nascent but promising technology that offers protection of unencrypted digital content. This paper is a brief technical survey of the multimedia watermark...
131
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...
131
click to vote
JNW
2006
15 years 4 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...