1779 search results - page 144 / 356 » A Formal Model of Data Privacy |
140
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
179
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
149
Voted
CCS
2009
ACM
15 years 11 months ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
122
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
141
click to vote
CCS
2000
ACM
15 years 9 months ago
2000
ACM
The extensible markup language (XML) is a promising standard for describing semi-structured information and contents on the Internet. When XML comes to be a widespread data encodi...