Security systems design and analysis using an integrated rule-based systems approach

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

Volumn 3528 LNAI, Issue , 2005, Pages 334-340

  Nalepa, Grzegorz J ^a   Ligȩza, Antoni ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNET; KNOWLEDGE BASED SYSTEMS; RELIABILITY; WORLD WIDE WEB;

SECURITY SYSTEMS DESIGN; WEB SECURITY SYSTEM;

SECURITY OF DATA;

EID: 26944464946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11495772_52     Document Type: Conference Paper

References (9)

1. Liebowitz, J., ed.: The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)
2. Hopgood, A.A.: Intelligent Systems for Engineers and Scientists. 2nd edn. CRC Press, Boca Raton London New York Washington, D.C. (2001)
3. Ligȩza, A.: Logical Foundations for Rule-Based Systems. Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH w Krakowie, Kraków (2005)
4. Nalepa, G.J., Ligéza, A.: Designing reliable web security systems using rule-based systems approach. In Menasalvas, E., Segovia, J., Szczepaniak, P.S., eds.: Advances in Web Intelligence. AWIC 2003, Madrid, Spain, May 5-6, 2003. Volume LNAI 2663., Berlin, Heidelberg, New York, Springer-Verlag (2003) 124-133
5. Ligéza, A., Wojnicki, I., Nalepa, G.: Tab-trees: a case tool for design of extended tabular systems. In et al., H.M., ed.: Database and Expert Systems Applications. Volume LNCS 2113 of Lecture Notes in Computer Sciences. Springer-Verlag, Berlin (2001) 422-431
6. Nalepa, G.J.: Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems. PhD thesis, AGH University of Science and Technology, AGH Institute of Automatics, Cracow, Poland (2004)
7. van Harmelen, F.: Applying rule-based anomalies to kads inference structures. ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems (1996) 41-46
8. Ligȩza, A.: Logical support for design of rule-based systems, reliability and quality issues. In Rousset, M., ed.: ECAI-96 Workshop on Validation, Verification and Refinment of Knowledge-based Systems. Volume W2. ECAI'96, Budapest (1996) 28-34
9. Garfinkel, S., Spafford, G., Schwartz, A.: Practical Unix and Internet Security. 3rd edn. O'Reilly and Associates (2003)