1833 search results - page 122 / 367 » Mechanized Verification with Sharing |
116
click to vote
IJNSEC
2008
15 years 4 months ago
2008
Two-dimensional (2D) barcode has improved the information encoded capacity, and it also has enriched the applications of barcode technique. Recently, there are researches dealing ...
134
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
A number of researchers have proposed using digital marks to provide ownership identification for intellectual property. Many of these techniques share three specific weaknesses: ...
131
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
132
click to vote
PODS
2003
ACM
16 years 4 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
125
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...