1779 search results - page 46 / 356 » A Formal Model of Data Privacy |
124
click to vote
DBSEC
2000
15 years 2 months ago
2000
Privacy refers to controlling the dissemination and use of personal data, including information that is knowingly disclosed, as well as data that are unintentionally revealed as a ...
118
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
121
click to vote
ICTAC
2010
Springer
15 years 1 hour ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
119
click to vote
GCC
2003
Springer
15 years 6 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
110
click to vote
ADBIS
2005
Springer
15 years 7 months ago
2005
Springer
We present a formal analysis of the following view-selection problem: Given a set of queries and a database, return definitions of views that, when materialized in the database, w...