SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6803 LNAI, Issue , 2011, Pages 26-33

ASASP: Automated symbolic analysis of security policies

(3) Alberti, Francesco a Armando, Alessandro b,c Ranise, Silvio c

a UNIVERSITY OF LUGANO (Switzerland)

b UNIVERSITY OF GENOA (Italy)

c ITC IRST (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL POLICIES; ACCESS POLICIES; ADMINISTRATIVE ACTION; AUTOMATED THEOREM PROVING; BENCH-MARK PROBLEMS; ROLE-BASED ACCESS CONTROL MODEL; SATISFIABILITY; SATISFIABILITY MODULO THEORIES; SECURITY ANALYSIS; SECURITY POLICY; SYMBOLIC ANALYSIS; SYMBOLIC REACHABILITY;

AUTOMATION; FORMAL LOGIC; SECURITY SYSTEMS; THEOREM PROVING;

ACCESS CONTROL;

EID: 80051694398 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-642-22438-6_4 Document Type: Conference Paper

Times cited : (21)

References (12)

1
- 85175130865
- ASIACCS
- Alberti, F., Armando, A., Ranise, S.: Efficient Symbolic Automated Analysis of Administrative Role Based Access Control Policies. In: ASIACCS (2011)
- (2011) Efficient Symbolic Automated Analysis of Administrative Role Based Access Control Policies
- Alberti, F.¹ Armando, A.² Ranise, S.³

2
- 79951864962
- Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis
- Ghilardi, S., Ranise, S.: Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis. In: LMCS, vol. 6(4) (2010)
- (2010) LMCS , vol.6 , Issue.4
- Ghilardi, S.¹ Ranise, S.²

3
- 77955252506
- MCMT: A model checker modulo theories
- Giesl, J., Hähnle, R. (eds.). Springer, Heidelberg
- Ghilardi, S., Ranise, S.: MCMT: A Model Checker Modulo Theories. In: Giesl, J., Hähnle, R. (eds.) IJCAR 2010. LNCS, vol. 6173, pp. 22-29. Springer, Heidelberg (2010)
- (2010) IJCAR 2010. LNCS , vol.6173 , pp. 22-29
- Ghilardi, S.¹ Ranise, S.²

4
- 78049386526
- User-role reachability analysis of evolving administrative role based access control
- Gritzalis, D., Preneel, B., Theoharidou, M. (eds.). Springer, Heidelberg
- Gofman, M.I., Luo, R., Yang, P.: User-Role Reachability Analysis of Evolving Administrative Role Based Access Control. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol. 6345, pp. 455-471. Springer, Heidelberg (2010)
- (2010) ESORICS 2010. LNCS , vol.6345 , pp. 455-471
- Gofman, M.I.¹ Luo, R.² Yang, P.³

5
- 80051683382
- iProver, http://www.cs.man.ac.uk/~korovink/iprover

6
- 84960601644
- On a problem in formal logic
- Ramsey, F.P.: On a problem in formal logic. Proc. of the London Mathematical Society, 264-286 (1930)
- (1930) Proc. of the London Mathematical Society , pp. 264-286
- Ramsey, F.P.¹

7
- 33947695249
- Policy analysis for administrative role based access control
- IEEE, New York
- Sasturkar, A., Yang, P., Stoller, S.D., Ramakrishnan, C.R.: Policy analysis for administrative role based access control. In: 19th CSF Workshop. IEEE, New York (2006)
- (2006) 19th CSF Workshop
- Sasturkar, A.¹ Yang, P.² Stoller, S.D.³ Ramakrishnan, C.R.⁴

8
- 80051677782
- SMT-LIB: http://www.smt-lib.org

9
- 80051706326
- SPASS, http://www.spass-prover.org

10
- 77952403780
- Efficient policy analysis for administrative role based access control
- Stoller, S.D., Yang, P., Ramakrishnan, C.R., Gofman, M.I.: Efficient policy analysis for administrative role based access control. In: ACM CCS (2007)
- (2007) ACM CCS
- Stoller, S.D.¹ Yang, P.² Ramakrishnan, C.R.³ Gofman, M.I.⁴

11
- 80051680449
- TPTP, http://www.cs.miami.edu/~tptp

12
- 80051680103
- Z3, http://research.microsoft.com/projects/z3/

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