5255 search results - page 9 / 1051 » Formal Methods for Privacy |
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
EUPROJECTS
2005
Springer
14 years 1 months ago
2005
Springer
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
In order to provide context?aware Location?Based Services, real location data of mobile users must be collected and analyzed by spatio?temporal data mining methods. However, the d...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
Recent work has shown the necessity of considering an attacker's background knowledge when reasoning about privacy in data publishing. However, in practice, the data publishe...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE