6527 search results - page 16 / 1306 » On Typing Information Flow |
SAS
1997
Springer
13 years 11 months ago
1997
Springer
CSFW
2007
IEEE
13 years 11 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
13 years 11 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
13 years 11 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
14 years 8 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...