37 search results - page 1 / 8 » Flow Policy Awareness for Distributed Mobile Code |
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
ASIAN
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
ICAC
2007
IEEE
13 years 11 months ago
2007
IEEE
With their increasingly powerful computational resources and high-speed wireless communications, future mobile systems will have the ability to run sophisticated applications on c...
ESORICS
2000
Springer
13 years 8 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...