| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466167903316 |
|
|
Titolo |
Recent Advances in Intrusion Detection [[electronic resource] ] : 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers / / edited by Alfonso Valdes, Diego Zamboni |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 351 p.) |
|
|
|
|
|
|
Collana |
|
Security and Cryptology ; ; 3858 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Management information systems |
Computer science |
Computer communication systems |
Operating systems (Computers) |
Data encryption (Computer science) |
Computers and civilization |
Management of Computing and Information Systems |
Computer Communication Networks |
Operating Systems |
Cryptology |
Computers and Society |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Worm Detection and Containment (I) -- Virtual Playgrounds for Worm Behavior Investigation -- Empirical Analysis of Rate Limiting Mechanisms -- Anomaly Detection -- COTS Diversity Based Intrusion Detection and Application to Web Servers -- Behavioral Distance for Intrusion Detection -- Intrusion Prevention and Response -- FLIPS: Hybrid Adaptive Intrusion Prevention -- Towards Software-Based Signature Detection for Intrusion Prevention on the Network Card -- Defending Against Injection Attacks Through Context-Sensitive String Evaluation -- System Call-Based Intrusion Detection -- Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks -- On Random-Inspection-Based Intrusion Detection -- Environment- |
|
|
|
|
|
|
|
|
|
|
|
Sensitive Intrusion Detection -- Worm Detection and Containment (II) -- Polymorphic Worm Detection Using Structural Information of Executables -- Anomalous Payload-Based Worm Detection and Signature Generation -- Network-Based Intrusion Detection -- On Interactive Internet Traffic Replay -- Interactive Visualization for Network and Port Scan Detection -- A Fast Static Analysis Approach to Detect Exploit Code Inside Network Flows -- Mobile and Wireless Networks -- Sequence Number-Based MAC Address Spoof Detection -- A Specification-Based Intrusion Detection Model for OLSR. |
|
|
|
|
|
|
Sommario/riassunto |
|
On behalf of the Program Committee, it is our pleasure to present the proceedings of the 8th Symposium on Recent Advances in Intrusion Detection (RAID 2005), which took place in Seattle, Washington, USA, September 7-9, 2005. The symposium brought together leading researchers and practitioners from academia, government and industry to discuss intrusion detection from research as well as commercial prospectives. We also encouraged discussions that addressed issues that arise when studying intrusion detection, including monitoring, performance and validation, from a wider perspective. We had sessions on the detection and containment of Internet worm attacks, anomaly detection, automated response to intrusions, host-based intrusion detection using system calls, network intrusion detection, and intrusion detection, in mobile wireless networks. The RAID 2005 Program Committee received 83 paper submissions from all over the world. All submissions were carefully reviewed by several members of Program Committee and selection was made on the basis of scientific novelty, importance to the field, and technical quality. Final selection took place at a Program Committee meeting held on May 11 and 12 in Oakland, California. Fifteen papers and two practical experience reports were selected for presentation and publication in the conference proceedings. The keynote address was given by Phil Attfield of the Northwest Security Institute. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466101203316 |
|
|
Titolo |
Deontic Logic in Computer Science [[electronic resource] ] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings / / edited by Ron van der Meyden, Leendert van der Torre |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 279 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 5076 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Mathematical logic |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Norms in Branching Space-Times -- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories -- Acting, Events and Actions -- A Tableaux System for Deontic Action Logic -- Information Security Economics - and Beyond -- Trust and Norms in the Context of Computer Security: A Logical Formalization -- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic -- Delegation of Control in Administrative Procedures -- Variations in Access Control Logic -- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking -- Need to Know: Questions and the Paradox of Epistemic Obligation -- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ -- Reactive Kripke Models and Contrary to Duty Obligations -- Normative Consequence: The Problem of Keeping It Whilst Giving It up -- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G -- Strata of Intervenient Concepts in Normative Systems -- A Deontic Logic for Socially Optimal Norms -- Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin -- Introducing Grades in Deontic Logics -- Pushing Anderson’s Envelope: |
|
|
|
|
|
|
|
|
|
|
|
|
|
The Modal Logic of Ascription. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008. The 16 revised full papers presented together with 4 invited talks were carefully reviewed and selected for inclusion in the book. The topics addressed are development of formal systems of deontic logic and related areas of logic, and applications. Of particular interest is the interaction between computer systems and their users; the papers focus also on the special topic of logical approaches to deontic notions in computer science in the area of security and trust, encompassing applications in e-commerce as well as traditional areas of computer security. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996466652903316 |
|
|
Titolo |
Smoothing techniques for curve estimation : proceedings of workshop held in Heidelberg, April 2-4, 1979 / / edited by T. Gasser and M. Rosenblatt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1979] |
|
©1979 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1979.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (245 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, , 0075-8434 ; ; 757 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Curve fitting - Computer programs |
Estimation theory - Computer programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Nonparametric curve estimation -- A tree-structured approach to nonparametric multiple regression -- Kernel estimation of regression functions -- Total least squares -- Some theoretical results on Tukey’s 3R smoother -- Bias- and efficiency-robustness of general M-estimators for regression with random carriers -- Approximate conditional-mean type smoothers and interpolators -- Optimal |
|
|
|
|
|
|
|
|
|
|
convergence properties of kernel estimates of derivatives of a density function -- Density quantile estimation approach to statistical data modelling -- Global measures of deviation for kernel and nearest neighbor density estimates -- Some comments on the asymptotic behavior of robust smoothers -- Cross-validation techniques for smoothing spline functions in one or two dimensions -- Convergence rates of "thin plate" smoothing splines wihen the data are noisy. |
|
|
|
|
|
| |