902 search results - page 129 / 181 » Security and Trust Requirements Engineering |
IFIP
2005
Springer
15 years 3 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
TCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We initiate a theoretical study of the census problem. Informally, in a census individual respondents give private information to a trusted party (the census bureau), who...
FIDJI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. GOLD (Grid-based Information Models to Support the Rapid Innovation of New High Value-Added Chemicals) is concerned with the dynamic formation and management of virtual o...
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
In the business world, exchange of signatures or receipts is a common practice in case of future dispute. Likewise, it is critical in E-commerce applications to have the security ...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...