SCOPUS 정보 검색 플랫폼

Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security, PLAS 2011

Volumn , Issue , 2011, Pages

Position paper: Privacy-aware proof-carrying authorization

(2) Maffei, Matteo a Pecina, Kim a

a SAARLAND UNIVERSITY (Germany)

Author keywords

Proof carrying authorization; Zero knowledge

Indexed keywords

ACCESS CONTROL POLICIES; EXPERIMENTAL EVALUATION; FORMAL PROOFS; LOGICAL FORMULAS; LOGICAL RULES; POSITION PAPERS; PROOF-CARRYING AUTHORIZATION; SENSITIVE DATAS; USER ANONYMITY; ZERO KNOWLEDGE; ZERO-KNOWLEDGE PROOFS OF KNOWLEDGE;

COMPUTER PROGRAMMING LANGUAGES; NETWORK SECURITY;

AUTHENTICATION;

EID: 84860295833 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/2166956.2166963 Document Type: Conference Paper

Times cited : (8)

References (22)

1
- 0027667638
- A calculus for access control in distributed systems
- September
- M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. ACM Trans. on Programming Languages and Systems, 15:706-734, September 1993.
- (1993) ACM Trans. on Programming Languages and Systems , vol.15 , pp. 706-734
- Abadi, M.¹ Burrows, M.² Lampson, B.³ Plotkin, G.⁴

2
- 77956996315
- Structure-preserving signatures and commitments to group elements
- Springer
- M. Abe, G. Fuchsbauer, J. Groth, K. Haralambiev, and M. Ohkubo. Structure-preserving signatures and commitments to group elements. In CRYPTO'10, volume 6223 of LNCS, pages 209-236. Springer, 2010.
- (2010) CRYPTO'10, Volume 6223 of LNCS , pp. 209-236
- Abe, M.¹ Fuchsbauer, G.² Groth, J.³ Haralambiev, K.⁴ Ohkubo, M.⁵

3
- 0033281265
- Proof-carrying authentication
- ACM
- A. W. Appel and E. W. Felten. Proof-carrying authentication. In CCS'99, pages 52-62. ACM, 1999.
- (1999) CCS'99 , pp. 52-62
- Appel, A.W.¹ Felten, E.W.²

4
- 77950852652
- Distributed programming with distributed authorization
- ACM
- K. Avijit, A. Datta, and R. Harper. Distributed programming with distributed authorization. In TLDI'10, pages 27-38. ACM, 2010.
- (2010) TLDI'10 , pp. 27-38
- Avijit, K.¹ Datta, A.² Harper, R.³

5
- 77955437955
- Anonymous webs of trust
- Springer
- M. Backes, S. Lorenz, M. Maffei, and K. Pecina. Anonymous webs of trust. In PETS'10, volume 6205 of LNCS, pages 130-148. Springer, 2010.
- (2010) PETS'10, Volume 6205 of LNCS , pp. 130-148
- Backes, M.¹ Lorenz, S.² Maffei, M.³ Pecina, K.⁴

6
- 79959904021
- A security API for distributed social networks
- M. Backes, M. Maffei, and K. Pecina. A security API for distributed social networks. In NDSS'11, 2011.
- (2011) NDSS'11
- Backes, M.¹ Maffei, M.² Pecina, K.³

7
- 84881165182
- Access control on the web using proof-carrying authorization
- L. Bauer, M. Schneider, E. Felten, and A. Appel. Access control on the web using proof-carrying authorization. In DISCEX'03, volume 2, pages 117-119, 2003.
- (2003) DISCEX'03 , vol.2 , pp. 117-119
- Bauer, L.¹ Schneider, M.² Felten, E.³ Appel, A.⁴

8
- 33645995393
- Device-enabled authorization in the grey system
- LNCS Springer
- L. Bauer, S. Garriss, J. M. Mccune, M. K. Reiter, J. Rouse, and P. Rutenbar. Device-enabled authorization in the grey system. In ISC'05, LNCS, pages 431-445. Springer, 2005.
- (2005) ISC'05 , pp. 431-445
- Bauer, L.¹ Garriss, S.² Mccune, J.M.³ Reiter, M.K.⁴ Rouse, J.⁵ Rutenbar, P.⁶

9
- 35048879241
- Design and semantics of a decentralized authorization language
- DOI 10.1109/CSF.2007.18, 4271637, Proceedings - 20th IEEE Computer Security Foundations Symposium, CSFS20
- M. Y. Becker, C. Fournet, and A. D. Gordon. Design and semantics of a decentralized authorization language. In CSF'07), pages 3-15. IEEE, 2007. (Pubitemid 47554202)
- (2007) Proceedings - IEEE Computer Security Foundations Symposium , pp. 3-15
- Becker, M.Y.¹ Fournet, C.² Gordon, A.D.³

10
- 69949124606
- Randomizable proofs and delegatable anonymous credentials
- Springer
- M. Belenkiy, J. Camenisch, M. Chase, M. Kohlweiss, A. Lysyanskaya, and H. Shacham. Randomizable proofs and delegatable anonymous credentials. In CRYPTO'09, volume 5677 of LNCS, pages 108-125. Springer, 2009.
- (2009) CRYPTO'09, Volume 5677 of LNCS , pp. 108-125
- Belenkiy, M.¹ Camenisch, J.² Chase, M.³ Kohlweiss, M.⁴ Lysyanskaya, A.⁵ Shacham, H.⁶

11
- 79751527812
- Batch groth-sahai
- Springer
- O. Blazy, G. Fuchsbauer, M. Izabachéne, A. Jambert, H. Sib-ert, and D. Vergnaud. Batch Groth-Sahai. In ACNS'10, volume 6123 of LNCS, pages 218-235. Springer, 2010.
- (2010) ACNS'10, Volume 6123 of LNCS , pp. 218-235
- Blazy, O.¹ Fuchsbauer, G.² Izabachéne, M.³ Jambert, A.⁴ Sib-Ert, H.⁵ Vergnaud, D.⁶

12
- 14844295011
- Direct anonymous attestation
- Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004
- E. Brickell, J. Camenisch, and L. Chen. Direct anonymous attestation. In CCS'04, pages 132-145. ACM, 2004. (Pubitemid 40338196)
- (2004) Proceedings of the ACM Conference on Computer and Communications Security , pp. 132-145
- Brickell, E.¹ Camenisch, J.² Chen, L.³

13
- 70350353525
- PCAL: Language support for proof-carrying authorization systems
- LNCS Springer
- A. Chaudhuri and D. Garg. PCAL: language support for proof-carrying authorization systems. In ESORICS'09, LNCS, pages 184-199. Springer, 2009.
- (2009) ESORICS'09 , pp. 184-199
- Chaudhuri, A.¹ Garg, D.²

14
- 0036083264
- Binder, a logic-based security language
- J. DeTreville. Binder, a logic-based security language. In S&P'02, pages 105-113. IEEE, 2002. (Pubitemid 34648107)
- (2002) Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy , pp. 105-113
- DeTreville, J.¹

15
- 77955196890
- A proof-carrying file system
- IEEE
- D. Garg and F. Pfenning. A proof-carrying file system. In S&P'10, pages 349-364. IEEE, 2010.
- (2010) S&P'10 , pp. 349-364
- Garg, D.¹ Pfenning, F.²

16
- 84976832950
- Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
- O. Goldreich, S. Micali, and A. Wigderson. Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. JACM, 38(3):690-728, 1991.
- (1991) JACM , vol.38 , Issue.3 , pp. 690-728
- Goldreich, O.¹ Micali, S.² Wigderson, A.³

17
- 44449140946
- Efficient non-interactive proof systems for bilinear groups
- DOI 10.1007/978-3-540-78967-3-24, Advances in Cryptology - EUROCRYPT 2008 - 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings
- J. Groth and A. Sahai. Efficient non-interactive proof systems for bilinear groups. In EUROCRYPT'08, volume 4965 of LNCS, pages 415-432. Springer, 2008. (Pubitemid 351762842)
- (2008) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.4965 , pp. 415-432
- Groth, J.¹ Sahai, A.²

18
- 59249096370
- Aura: A programming language for authorization and audit
- L. Jia, J. A. Vaughan, K. Mazurak, J. Zhao, L. Zarko, J. Schorr, and S. Zdancewic. Aura: a programming language for authorization and audit. ACM SIGPLAN Notices, 43(9):27-38, 2008.
- (2008) ACM SIGPLAN Notices , vol.43 , Issue.9 , pp. 27-38
- Jia, L.¹ Vaughan, J.A.² Mazurak, K.³ Zhao, J.⁴ Zarko, L.⁵ Schorr, J.⁶ Zdancewic, S.⁷

19
- 84976834054
- Authentication in distributed systems: Theory and practice
- November
- B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: theory and practice. ACM Trans. on Computer Systems, 10:265-310, November 1992.
- (1992) ACM Trans. on Computer Systems , vol.10 , pp. 265-310
- Lampson, B.¹ Abadi, M.² Burrows, M.³ Wobber, E.⁴

20
- 51649110861
- Pseudo trust: Zero-knowledge authentication in anonymous p2ps
- ISSN 1045-9219
- L. Lu, J. Han, Y. Liu, L. Hu, J.-P. Huai, L. Ni, and J. Ma. Pseudo trust: Zero-knowledge authentication in anonymous p2ps. IEEE Trans. on Parallel Distributed Systems, 19(10): 1325-1337, 2008. ISSN 1045-9219.
- (2008) IEEE Trans. on Parallel Distributed Systems , vol.19 , Issue.10 , pp. 1325-1337
- Lu, L.¹ Han, J.² Liu, Y.³ Hu, L.⁴ Huai, J.-P.⁵ Ni, L.⁶ Ma, J.⁷

21
- 77955309418
- B. Lynn. The pairing-based cryptography library. http://crypto.stanford. edu/pbc/.
- The Pairing-based Cryptography Library
- Lynn, B.¹

22
- 84860292718
- A confidentiality extension to the aura programming language
- ACM
- J. A. Vaughan. A confidentiality extension to the Aura programming language. In TLDI'11. ACM, 2011.
- (2011) TLDI'11
- Vaughan, J.A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.