37 search results - page 1 / 8 » Flow Policy Awareness for Distributed Mobile Code |
106
Voted
CONCUR
2009
Springer
15 years 7 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...
116
Voted
BIRTHDAY
2008
Springer
15 years 2 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...
134
click to vote
ASIAN
2009
Springer
14 years 10 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 ...
123
Voted
ICAC
2007
IEEE
15 years 7 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...
112
Voted
ESORICS
2000
Springer
15 years 4 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...