6555 search results - page 829 / 1311 » Secure attribute-based systems |
160
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
155
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
A virtual machine is a software replica of an underlying real machine. Multiple virtual machines can operate on the same host machine concurrently, without interfere each other. S...
147
click to vote
USENIX
2001
15 years 7 months ago
2001
As a practical means of achieving better security and single sign-on, the Kerberos network authentication system has been in wide use in the Unix world for many years. Microsoft h...
221
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
159
click to vote
ECR
2010
15 years 6 months ago
2010
Abstract To date, trust and reputation systems have often been evaluated using methods of their designers' own devising. Recently, we demonstrated that a number of noteworthy ...