2209 search results - page 229 / 442 » Language Based Secure Communication |
125
Voted
JUCS
2010
14 years 11 months ago
2010
: One of the most important use-cases of Trusted Computing is Remote Attestation. It allows platforms to get a trustworthy proof of the loaded software and current configuration of...
134
click to vote
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
145
click to vote
COMGEO
2010
ACM
15 years 7 months ago
2010
ACM
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
146
click to vote
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
144
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...