141 search results - page 9 / 29 » Composition and integrity preservation of secure reactive sy... |
KDD
2002
ACM
14 years 8 months ago
2002
ACM
Privacy considerations often constrain data mining projects. This paper addresses the problem of association rule mining where transactions are distributed across sources. Each si...
ESORICS
2009
Springer
14 years 2 months ago
2009
Springer
The proliferation of mobile devices has given rise to novel user-centric applications and services. In current mobile systems, users gain access to remote servers over mobile netwo...
JALC
2006
13 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
AOSD
2010
ACM
14 years 27 days ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
NDSS
2005
IEEE
14 years 1 months ago
2005
IEEE
— Content sharing is a popular use of peer-to-peer systems because of their inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-topee...