Sciweavers

6137 search results - page 170 / 1228
» Securing Collaborative Applications
Sort
View
IAT
2009
IEEE
14 years 1 months ago
Managing Context-Dependent Workspace Awareness in an e-Collaboration Environment
—Users increasingly manage their home and work collaborations by exploiting online applications. However, they have to deal with a fragmented view of their workspaces, because ea...
Liliana Ardissono, Gianni Bosio, Anna Goy, Giovann...
CCS
2008
ACM
14 years 5 days ago
Efficient security primitives derived from a secure aggregation algorithm
By functionally decomposing a specific algorithm (the hierarchical secure aggregation algorithm of Chan et al. [3] and Frikken et al. [7]), we uncover a useful general functionali...
Haowen Chan, Adrian Perrig
COMPSAC
2008
IEEE
14 years 4 months ago
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
Phu H. Phung, David Sands
JCS
2002
118views more  JCS 2002»
13 years 9 months ago
Verified Formal Security Models for Multiapplicative Smart Cards
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
14 years 3 months ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...