3482 search results - page 534 / 697 » Designing for security |
170
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
165
click to vote
CTRSA
2010
Springer
15 years 9 months ago
2010
Springer
This paper presents a new identity based key agreement protocol. In id-based cryptography (introduced by Adi Shamir in [33]) each party uses its own identity as public key and rece...
174
click to vote
USS
2008
15 years 8 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
155
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
170
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Data sharing on public servers has become a popular service on the Internet, in which users can store and share data with other users through public servers. However, because the ...