메뉴 건너뛰기




Volumn , Issue , 2008, Pages 292-296

Security Pattern Lattice: A formal model to organize Security Patterns

Author keywords

Concept lattice; Formal concept analysis; Scaling; Security pattern; Trust

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DATABASE SYSTEMS; DECISION SUPPORT SYSTEMS; EXPERT SYSTEMS; PROBLEM SOLVING; TAXONOMIES;

EID: 57849096679     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2008.74     Document Type: Conference Paper
Times cited : (13)

References (13)
  • 1
    • 49049090201 scopus 로고    scopus 로고
    • M. Antonio and P. Gimena. Towards formal specification of abstract security properties. In proc. of 3rd Int. Conf. on Availability, Reliability and Security, pages 80-87, 2008.
    • M. Antonio and P. Gimena. Towards formal specification of abstract security properties. In proc. of 3rd Int. Conf. on Availability, Reliability and Security, pages 80-87, 2008.
  • 2
    • 57849146325 scopus 로고    scopus 로고
    • Common criteria for information technology evaluation, September 2006.
    • Common criteria for information technology evaluation, September 2006.
  • 5
    • 57849133344 scopus 로고    scopus 로고
    • F. Eduardo and B. Lee. The authenticator pattern. In Proc. of Pattern Language of Programs Conference, 1999.
    • F. Eduardo and B. Lee. The authenticator pattern. In Proc. of Pattern Language of Programs Conference, 1999.
  • 6
    • 57849157192 scopus 로고    scopus 로고
    • Ganter and Wille. Conceptual scaling. F. Roberts {Ed., Applications of combinatorics and graph theory to the biological and social sciences. Berlin: Springer, pages 139-167, 1989.
    • Ganter and Wille. Conceptual scaling. F. Roberts {Ed.), Applications of combinatorics and graph theory to the biological and social sciences. Berlin: Springer, pages 139-167, 1989.
  • 8
    • 57849158003 scopus 로고    scopus 로고
    • L. Michele and S. Jean. Structural machine learning with galois lattice and graphs. In proc. of 15th Int. Conf. on machine learning, 1998.
    • L. Michele and S. Jean. Structural machine learning with galois lattice and graphs. In proc. of 15th Int. Conf. on machine learning, 1998.
  • 9
    • 34547107609 scopus 로고    scopus 로고
    • Organizing security patterns
    • August
    • H. Munawar, A. Paul, and J. Ralph. Organizing security patterns. IEEE Software, pages 52-60, August 2007.
    • (2007) IEEE Software , pp. 52-60
    • Munawar, H.1    Paul, A.2    Ralph, J.3
  • 10
    • 57849130585 scopus 로고    scopus 로고
    • H. Saigon and Carlson. A theoretically-based process for organizing design patterns. In Proc. of 12th workshop on Pattern languages of Programs, 2005.
    • H. Saigon and Carlson. A theoretically-based process for organizing design patterns. In Proc. of 12th workshop on Pattern languages of Programs, 2005.
  • 11
    • 57849146993 scopus 로고    scopus 로고
    • M. Schumacher. Security patterns and security standardswith selected security patterns for anonymity and privacy. In proc. of European Conf. on Pattern Language of Programs, 2002.
    • M. Schumacher. Security patterns and security standardswith selected security patterns for anonymity and privacy. In proc. of European Conf. on Pattern Language of Programs, 2002.
  • 12
    • 57849114147 scopus 로고    scopus 로고
    • Formal concept analysis in information science - a draft
    • Cronin Blaise (Ed) Annual
    • P. Utah. Formal concept analysis in information science - a draft. Cronin Blaise (Ed) Annual Review of Information Science and Technology, vol 40.
    • Review of Information Science and Technology , vol.40
    • Utah, P.1
  • 13
    • 57849104215 scopus 로고    scopus 로고
    • Wille and Ganter. Formal Concept Analysis - mathematical Foundations. Spinger, Heidelberg, 1996.
    • Wille and Ganter. Formal Concept Analysis - mathematical Foundations. Spinger, Heidelberg, 1996.


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