848 search results - page 27 / 170 » Secure Information Flow for Distributed Systems |
121
click to vote
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
The general trend towards ubiquitous networking has reached the realm of airplanes. E-enabled airplanes with wired and wireless network interfaces offer a wide spectrum of network ...
104
click to vote
FC
1998
Springer
15 years 6 months ago
1998
Springer
From von Solms and Naccache's standpoint, constructing a practical and secure e-money system implies a proper regulation of its privacy level. Furthermore, when the system ben...
118
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
135
Voted
ASIAN
2006
Springer
15 years 6 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...
131
click to vote
DEON
2008
Springer
15 years 4 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...