10038 search results - page 1730 / 2008 » Model Checking for Managers |
172
click to vote
CCS
2007
ACM
16 years 13 days ago
2007
ACM
Computer usage and threat models have changed drastically since the advent of access control systems in the 1960s. Instead of multiple users sharing a single file system, each us...
155
click to vote
EMSOFT
2007
Springer
16 years 13 days ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
182
click to vote
FC
2007
Springer
16 years 13 days ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
155
click to vote
INFOCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
— Traditional network routing uses the single (shortest) path paradigm. This paradigm leaves the session vulnerable to a variety of security threats, such as eavesdropping. We pr...
171
click to vote
ELPUB
2006
ACM
16 years 7 days ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...