902 search results - page 108 / 181 » Security and Trust Requirements Engineering |
SIGADA
2004
Springer
15 years 3 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Peer-to-peer (P2P) is becoming a key technology for software development, but still lacks integrated solutions to build trust in the final software, in terms of correctness and...
111
click to vote
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
133
click to vote
FASE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
CCS
2009
ACM
15 years 1 months ago
2009
ACM
Users have begun downloading an increasingly large number of mobile phone applications in response to advancements in handsets and wireless networks. The increased number of appli...