-
1
-
-
49049090201
-
-
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
-
-
Common criteria for information technology evaluation, September 2006.
-
Common criteria for information technology evaluation, September 2006.
-
-
-
-
3
-
-
0003752204
-
-
New York: Oxford University Press
-
A. Christopher, I. Sara, S. Murray, J. Max, I. Fiksdahl-King, and S. Angel. A Pattern Language: Towns, Buildings, Construction. New York: Oxford University Press., 1977.
-
(1977)
A Pattern Language: Towns, Buildings, Construction
-
-
Christopher, A.1
Sara, I.2
Murray, S.3
Max, J.4
Fiksdahl-King, I.5
Angel, S.6
-
5
-
-
57849133344
-
-
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
-
-
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
-
-
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
-
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
-
-
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
-
-
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
-
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
-
-
Wille and Ganter. Formal Concept Analysis - mathematical Foundations. Spinger, Heidelberg, 1996.
-
Wille and Ganter. Formal Concept Analysis - mathematical Foundations. Spinger, Heidelberg, 1996.
-
-
-
|