5255 search results - page 557 / 1051 » Formal Methods for Privacy |
204
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Data anonymization techniques have been the subject of intense investigation in recent years, for many kinds of structured data, including tabular, item set and graph data. They e...
175
click to vote
ACSAC
2005
IEEE
16 years 21 days ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
225
click to vote
ESORICS
2004
Springer
16 years 14 days ago
2004
Springer
Database outsourcing is a popular industry trend which involves organizations delegating their data management needs to an external service provider. In this model, a service prov...
227
click to vote
GD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
218
click to vote
FMCAD
2004
Springer
16 years 14 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...