메뉴 건너뛰기




Volumn 5474 LNCS, Issue , 2009, Pages 19-35

Model checking usage policies

Author keywords

[No Author keywords available]

Indexed keywords

FINITE STATE AUTOMATA; MODEL-CHECKING TECHNIQUES; PARAMETRICITY; PARAMETRIZATION; POLYNOMIAL-TIME; RESOURCE ACCESS; USAGE POLICIES;

EID: 67650336844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00945-7_2     Document Type: Conference Paper
Times cited : (17)

References (27)
  • 2
    • 54249094201 scopus 로고    scopus 로고
    • Spatial and behavioral types in the π-calculus
    • In: van Breugel, F., Chechik, M. (eds.), LNCS Springer, Heidelberg
    • Acciai, L., Boreale, M.: Spatial and behavioral types in the p̂-calculus. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.5201, pp. 372-386. Springer, Heidelberg (2008)
    • (2008) CONCUR 2008 , vol.5201 , pp. 372-386
    • Acciai, L.1    Boreale, M.2
  • 4
    • 24644498665 scopus 로고    scopus 로고
    • History-based access control with local policies
    • Foundations of Software Science and Computational Structures - 8th Int. Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Proc.
    • Bartoletti, M., Degano, P., Ferrari, G.L.: History-based access control with local policies. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.3441, pp. 316-332. Springer, Heidelberg (2005) (Pubitemid 41273715)
    • (2005) Lecture Notes in Computer Science , vol.3441 , pp. 316-332
    • Bartoletti, M.1    Degano, P.2    Ferrari, G.L.3
  • 11
  • 12
    • 0021870594 scopus 로고
    • Algebra of communicating processes with abstraction
    • Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science 37, 77-121 (1985)
    • (1985) Theoretical Computer Science , vol.37 , pp. 77-121
    • Bergstra, J.A.1    Klop, J.W.2
  • 14
    • 51049123210 scopus 로고    scopus 로고
    • Types and deadlock freedom in a calculus of services, sessions and pipelines
    • In: Meseguer, J., Ro̧su, G. (eds.), LNCS, Springer, Heidelberg
    • Bruni, R., Mezzina, L.G.: Types and deadlock freedom in a calculus of services, sessions and pipelines. In: Meseguer, J., Ro̧su, G. (eds.) AMAST 2008. LNCS, vol.5140, pp. 100-115. Springer, Heidelberg (2008)
    • (2008) AMAST 2008 , vol.5140 , pp. 100-115
    • Bruni, R.1    Mezzina, L.G.2
  • 19
    • 85010943862 scopus 로고
    • On the decidability of model checking for several
    • In: Tison, S. (ed.) CAAP 1994. LNCS, Springer, Heidelberg
    • Esparza, J.: On the decidability of model checking for several μ̂-calculi and Petri nets. In: Tison, S. (ed.) CAAP 1994. LNCS, vol.787. Springer, Heidelberg (1994)
    • (1994) μ-Calculi and Petri Nets , vol.787
    • Esparza, J.1
  • 21
    • 0034714632 scopus 로고    scopus 로고
    • Type reconstruction for linear-calculus with i/o subtyping
    • Igarashi, A., Kobayashi, N.: Type reconstruction for linear -calculus with i/o subtyping. Inf. Comput. 161(1), 1-44 (2000)
    • (2000) Inf. Comput. , vol.161 , Issue.1 , pp. 1-44
    • Igarashi, A.1    Kobayashi, N.2
  • 26
    • 67650297709 scopus 로고    scopus 로고
    • Enforcing Safety Properties Using Type Specialization
    • Programming Languages and Systems
    • Thiemann, P.: Enforcing safety properties using type specialization. In: Sands, D. (ed.) ESOP 2001. LNCS, vol.2028, p. 62. Springer, Heidelberg (2001) (Pubitemid 33256351)
    • (2001) LECTURE NOTES IN COMPUTER SCIENCE , Issue.2028 , pp. 62-76
    • Thiemann, P.1


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