325 search results - page 28 / 65 » Secure safe ambients |
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes the design of a peer-to-peer network that supports integrity and confidentiality labeling of shared data. A notion of data ownership privacy is also enforced...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
OOPSLA
2001
Springer
14 years 4 hour ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
VR
2008
IEEE
14 years 1 months ago
2008
IEEE
Access control is an important aspect of shared virtual environments. Resource access may not only depend on prior authorization, but also on context of usage such as distance or ...
AVSS
2007
IEEE
14 years 1 months ago
2007
IEEE
There has been intense interest in the use of millimetre wave and terahertz technology for the detection of concealed weapons, explosives and other threats. Radiation at these fre...