5475 search results - page 1024 / 1095 » Model Driven Security |
106
Voted
ICISS
2009
Springer
15 years 7 months ago
2009
Springer
Many peer-assisted content-distribution systems reward a peer based on the amount of data that this peer serves to others. However, validating that a peer did so is, to our knowled...
100
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
105
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
78
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
This study focuses on exploring Internet literacy and social awareness as antecedents to Internet users’ attitudes towards government surveillance in the Internet environment. P...
80
Voted
ICCCN
2008
IEEE
15 years 7 months ago
2008
IEEE
— Secure Shell (SSH) tunnels are commonly used to provide two types of privacy protection to clear-text application protocols. First and foremost, they aim at protecting the priv...