85 search results - page 13 / 17 » Verifying resource access control on mobile interactive devi... |
INTERSENSE
2006
ACM
14 years 1 months ago
2006
ACM
— Mobile Ad-hoc Networks (MANETs) are seen as an essential technology to support future Pervasive Computing Scenarios and 4G networks. In a MANET, efficient support of multipoint...
ACSAC
2000
IEEE
14 years 5 days ago
2000
IEEE
In this paper, we discuss our approach to constructing a dynamic and secure “Smart Home” environment and tackling the challenges associated with it. We envision a Smart Home a...
OTM
2009
Springer
14 years 2 months ago
2009
Springer
Pervasive environments can be hard to configure and interact with using handheld computing devices, due to the mismatch between physical and digital worlds. Usually, smart resourc...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
JCS
2010
13 years 6 months ago
2010
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...