메뉴 건너뛰기




Volumn 8, Issue 4, 2009, Pages 5-32

Securing Java with local policies

Author keywords

[No Author keywords available]

Indexed keywords


EID: 70349394182     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2009.8.4.a1     Document Type: Article
Times cited : (17)

References (47)
  • 14
    • 0021870594 scopus 로고
    • Algebra of communicating processes with abstraction
    • J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theor. Comput. Sci., 37:77-121, 1985.
    • (1985) Theor. Comput. Sci. , vol.37 , pp. 77-121
    • Bergstra, J.A.1    Klop, J.W.2
  • 17
    • 70349407008 scopus 로고    scopus 로고
    • Verification on infinite structures
    • O. Burkart, D. Caucal, F. Moller, and B. Steffen. Verification on infinite structures http://www-compsci.swan.ac.uk/~csfm/Pubs/handbook01.pdf.
    • Burkart, O.1    Caucal, D.2    Moller, F.3    Steffen, B.4
  • 20
  • 27
    • 0011792814 scopus 로고    scopus 로고
    • A framework for call graph construction algorithms
    • D. Grove and C. Chambers. A framework for call graph construction algorithms. ACM Trans. Program. Lang. Syst., 23(6):685-746, 2001.
    • (2001) ACM Trans. Program. Lang. Syst. , vol.23 , Issue.6 , pp. 685-746
    • Grove, D.1    Chambers, C.2
  • 30
    • 48649101461 scopus 로고    scopus 로고
    • Extending the Java Virtual Machine to enforce fine-grained security policies in mobile devices
    • I. Ion, B. Dragovic, and B. Crispo. Extending the Java Virtual Machine to enforce fine-grained security policies in mobile devices. In ACSAC, 2007.
    • (2007) ACSAC
    • Ion, I.1    Dragovic, B.2    Crispo, B.3
  • 31
    • 70349402788 scopus 로고    scopus 로고
    • Jalapa: Securing Java with Local Policies
    • Jalapa: Securing Java with Local Policies http://jalapa.sourceforge.net/.
  • 32
    • 0000913573 scopus 로고    scopus 로고
    • JML: A notation for detailed design
    • H. Kilov, B. Rumpe, and I. Simmonds, editors, Kluwer Academic Publishers
    • G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, 1999.
    • (1999) Behavioral Specifications of Businesses and Systems , pp. 175-188
    • Leavens, G.T.1    Baker, A.L.2    Ruby, C.3
  • 35
    • 33845332032 scopus 로고    scopus 로고
    • Towards continuous usage control on grid computational services
    • F. Martinelli, P. Mori, and A. Vaccarelli. Towards continuous usage control on grid computational services. In ICAS/ICNS, 2005.
    • (2005) ICAS/ICNS
    • Martinelli, F.1    Mori, P.2    Vaccarelli, A.3
  • 40
    • 0036961608 scopus 로고    scopus 로고
    • Experience with statically-generated proxies for facilitating Java runtime specialisation
    • Dec
    • K. V. Renaud. Experience with statically-generated proxies for facilitating Java runtime specialisation. IEEE Proc. Software, 149(6), Dec 2002.
    • (2002) IEEE Proc. Software
    • Renaud, K.V.1
  • 43
    • 70349377394 scopus 로고    scopus 로고
    • Soot: a Java optimization, framework
    • Soot: a Java optimization framework http://www.sable.mcgill.ca/soot/.
  • 44
    • 37149042160 scopus 로고    scopus 로고
    • Enforcing safety properties using type specialization
    • P. Thiemann. Enforcing safety properties using type specialization. In Proc. ESOP, 2001.
    • (2001) Proc. ESOP
    • Thiemann, P.1


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