6527 search results - page 16 / 1306 » On Typing Information Flow |
SAS
1997
Springer
15 years 2 months ago
1997
Springer
CSFW
2007
IEEE
15 years 2 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
ASIAN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Consider a simple network flow problem in which there are n channels directed from a source to a sink. The channel capacities are unknown and we wish to determine a feasible netwo...
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper describes methods for extracting traffic flow information from urban traffic scenes. The ultimate goal is to collect a macroscopic view of traffic flow information in a...