5255 search results - page 171 / 1051 » Formal Methods for Privacy |
135
click to vote
BPM
2007
Springer
15 years 9 months ago
2007
Springer
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...
142
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Data confidentiality is a major concern in database systems. Encryption is a useful tool for protecting the confidentiality of sensitive data. However, when data is encrypted, perf...
122
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
155
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—In a sensor network, an important problem is to provide privacy to the event detecting sensor node and integrity to the data gathered by the node. Compromised source privacy can...
114
Voted
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...