Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Lantian Zheng"'
Publikováno v:
SOSP
Swift is a new, principled approach to building web applications that are secure by construction . In modern web applications, some application functionality is usually implemented as client-side code written in JavaScript. Moving code and data to th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::649d240d31997e3811aa0159a9f6785c
https://doi.org/10.1145/1323293.1294265
https://doi.org/10.1145/1323293.1294265
Autor:
Andrew C. Myers, Lantian Zheng
Publikováno v:
International Journal of Information Security. 6:67-84
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies provide the means to express strong security requirements for data confid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28bbbdcbffd990425f075eae62249ce1
https://doi.org/10.1007/s10207-007-0019-9
https://doi.org/10.1007/s10207-007-0019-9
Publikováno v:
Communications of the ACM; Feb2009, Vol. 52 Issue 2, p79-87, 9p, 1 Diagram, 5 Charts
Autor:
Lantian Zheng, Andrew C. Myers
Publikováno v:
PLAS@ECOOP
Quorum replication is an important technique for building distributed systems because it can simultaneously improve both the integrity and availability of computation and storage. Information flow control is a well-known method for enforcing the conf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b67c465a1fc7f1463c9a0152b1fad7fb
https://doi.org/10.1145/2637113.2637117
https://doi.org/10.1145/2637113.2637117
Autor:
Lantian Zheng, Andrew C. Myers
Publikováno v:
PLAS
This paper proposes a nonintrusive encryption mechanism for protecting data confidentiality on the Web. The core idea is to encrypt confidential data before sending it to untrusted sites and use keystores on the Web to manage encryption keys without
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dee9b285705cf0ebfc0058d4cc099b43
https://doi.org/10.1145/1375696.1375712
https://doi.org/10.1145/1375696.1375712
Autor:
Lantian Zheng, Andrew C. Myers
Publikováno v:
Formal Aspects in Security and Trust ISBN: 9780387240503
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies provide the means to express strong security requirements for data confid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::447b97cb3e5d5f569e066f16c4763a00
https://doi.org/10.1007/0-387-24098-5_3
https://doi.org/10.1007/0-387-24098-5_3
Publikováno v:
IEEE Symposium on Security and Privacy
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. This paper describes a way to enforce policies for data confidentiality
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::958ea5267e9bd1c9915b1e516795a386
https://doi.org/10.1109/secpri.2003.1199340
https://doi.org/10.1109/secpri.2003.1199340
Publikováno v:
SOSP
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untrusted hosts. Confidentiality and integrity policies can be expressed by ann
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ca63c148d45b94a75b7eed285ea4fb8
https://doi.org/10.1145/502034.502036
https://doi.org/10.1145/502034.502036
Autor:
Lantian Zheng, Myers, A.C.
Publikováno v:
18th IEEE Computer Security Foundations Workshop (CSFW'05); 2005, p272-286, 15p
Publikováno v:
2003 Symposium on Security & Privacy, 2003; 2003, p236-250, 15p