메뉴 건너뛰기




Volumn 4378 LNCS, Issue , 2007, Pages 474-480

Security for multithreaded programs under cooperative scheduling

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DYNAMIC PROGRAMMING; SCHEDULING; SECURITY OF DATA;

EID: 38049174641     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70881-0_43     Document Type: Conference Paper
Times cited : (20)

References (21)
  • 1
    • 0037014243 scopus 로고    scopus 로고
    • Non-interference for concurrent programs and thread systems
    • June
    • G. Boudol and I. Castellani. Non-interference for concurrent programs and thread systems. Theoretical Computer Science, 281(1): 109-130, June 2002.
    • (2002) Theoretical Computer Science , vol.281 , Issue.1 , pp. 109-130
    • Boudol, G.1    Castellani, I.2
  • 2
    • 0017517624 scopus 로고
    • Certification of programs for secure information flow
    • July
    • D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504-513, July 1977.
    • (1977) Comm. of the ACM , vol.20 , Issue.7 , pp. 504-513
    • Denning, D.E.1    Denning, P.J.2
  • 6
    • 35048815139 scopus 로고    scopus 로고
    • Controlled downgrading based on intransitive (non)interference
    • Proc. Asian Symp. on Programming Languages and Systems, of, Springer-Verlag, Nov
    • H. Mantel and D. Sands. Controlled downgrading based on intransitive (non)interference. In Proc. Asian Symp. on Programming Languages and Systems, volume 3302 of LNCS, pages 129-145. Springer-Verlag, Nov. 2004.
    • (2004) LNCS , vol.3302 , pp. 129-145
    • Mantel, H.1    Sands, D.2
  • 9
    • 84885715358 scopus 로고    scopus 로고
    • The impact of synchronisation on secure information flow in concurrent programs
    • Proc. Andrei Ershov International Conference on Perspectives of System Informatics, of, Springer-Verlag, July
    • A. Sabelfeld. The impact of synchronisation on secure information flow in concurrent programs. In Proc. Andrei Ershov International Conference on Perspectives of System Informatics, volume 2244 of LNCS, pages 225-239. Springer-Verlag, July 2001.
    • (2001) LNCS , vol.2244 , pp. 225-239
    • Sabelfeld, A.1
  • 10
    • 33745197683 scopus 로고    scopus 로고
    • Confidentiality for multithreaded programs via bisimulation
    • Proc. Andrei Ershov International Conference on Perspectives of System Informatics, of, Springer-Verlag, July
    • A. Sabelfeld. Confidentiality for multithreaded programs via bisimulation. In Proc. Andrei Ershov International Conference on Perspectives of System Informatics, volume 2890 of LNCS, pages 260-273. Springer-Verlag, July 2003.
    • (2003) LNCS , vol.2890 , pp. 260-273
    • Sabelfeld, A.1
  • 11
    • 84958755151 scopus 로고    scopus 로고
    • Static confidentiality enforcement for distributed programs
    • Proc. Symp. on Static Analysis, of, Springer-Verlag, Sept
    • A. Sabelfeld and H. Mantel. Static confidentiality enforcement for distributed programs. In Proc. Symp. on Static Analysis, volume 2477 of LNCS, pages 376-394. Springer-Verlag, Sept. 2002.
    • (2002) LNCS , vol.2477 , pp. 376-394
    • Sabelfeld, A.1    Mantel, H.2
  • 14
    • 38049125050 scopus 로고    scopus 로고
    • V. Simonet. The Flow Caml system. Software release. Located at http://cristal.inria.fr/~simonet/soft/flowcaml/,July 2003.
    • V. Simonet. The Flow Caml system. Software release. Located at http://cristal.inria.fr/~simonet/soft/flowcaml/,July 2003.
  • 16
    • 18544362925 scopus 로고    scopus 로고
    • Probabilistic noninterference through weak probabilistic bisimulation
    • G.Smith. Probabilistic noninterference through weak probabilistic bisimulation, In Proc. IEEE Computer Security Foundations Workshop, pages 3-13, 2003.
    • (2003) In Proc. IEEE Computer Security Foundations Workshop , pp. 3-13
    • Smith, G.1
  • 18
    • 0033330060 scopus 로고    scopus 로고
    • Probabilistic noninterference in a concurrent language
    • Nov
    • D. Volpano and G. Smith. Probabilistic noninterference in a concurrent language. J. Computer Security, 7(2-3):231-253, Nov. 1999.
    • (1999) J. Computer Security , vol.7 , Issue.2-3 , pp. 231-253
    • Volpano, D.1    Smith, G.2
  • 19
    • 0030370740 scopus 로고    scopus 로고
    • A sound type system for secure flow analysis
    • D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. J. Computer Security, 4(3):167-187, 1996.
    • (1996) J. Computer Security , vol.4 , Issue.3 , pp. 167-187
    • Volpano, D.1    Smith, G.2    Irvine, C.3


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