1833 search results - page 124 / 367 » Mechanized Verification with Sharing |
164
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
152
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
128
click to vote
GCC
2005
Springer
15 years 10 months ago
2005
Springer
The dynamics of knowledge is important for virtual organizations (VOs) knowledge management (KM) to improve the fast response capabilities and flexible problem solving capabilities...
131
click to vote
ISCAPDCS
2001
15 years 6 months ago
2001
The problem addressed in this paper deals with data sharing as a means to cooperate. Our main focus is on transactional mechanisms to manage concurrent accesses to (partially) sha...
142
click to vote
IACR
2011
14 years 4 months ago
2011
In the area of privacy-preserving data mining, a differentially private mechanism intuitively encourages people to share their data truthfully because they are at little risk of ...