3420 search results - page 357 / 684 » A Language-Based Approach to Security |
168
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...
159
click to vote
ASPLOS
2004
ACM
16 years 4 days ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...
163
click to vote
CCS
2004
ACM
16 years 3 days ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
199
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
187
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...