5255 search results - page 373 / 1051 » Formal Methods for Privacy |
126
Voted
SDMW
2004
Springer
15 years 10 months ago
2004
Springer
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...
167
click to vote
CARDIS
2008
Springer
15 years 7 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
133
Voted
JUCS
2007
15 years 4 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
168
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
116
Voted
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...