UB Paderborn / Katalog / Suche / in CDI

2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014, p.802-809

2014

Link zum Volltext

Verfügbarkeit prüfen

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

Software Engineering and Formal Methods, 2017, Vol.10469, p.1-16

2017

Link zum Volltext

Verfügbarkeit prüfen

The Na 0.60CoO 2 phase, a potential conductive additive for the positive electrode of Ni–MH cells

Journal of power sources, 2006, Vol.158 (1), p.722-729

2006

Link zum Volltext

Verfügbarkeit prüfen

Automatic Software Instrumentation for the Detection of Non-control-data Attacks

Recent Advances in Intrusion Detection, p.348-349

Link zum Volltext

Verfügbarkeit prüfen

Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays

Distributed Computing, p.560-562

Link zum Volltext

Verfügbarkeit prüfen

Restricted failure detectors: Definition and reduction protocols

Information processing letters, 1999-11, Vol.72 (3), p.91-97

1999

Link zum Volltext

Verfügbarkeit prüfen

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components

Formal Methods for Open Object-Based Distributed Systems, 2003, p.244-260

2003

Link zum Volltext

Verfügbarkeit prüfen

Toward a distributed storage system leveraging the DSL infrastructure of an ISP

2014 IEEE 11th Consumer Communications and Networking Conference (CCNC), 2014, p.533-534

2014

Link zum Volltext
Volltext

Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase

2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), 2015, p.170-174

2015

Link zum Volltext

Verfügbarkeit prüfen

A Dependable Intrusion Detection Architecture Based on Agreement Services

Lecture notes in computer science, 2006, p.378-394

2006

Link zum Volltext

Verfügbarkeit prüfen

Brief announcement : Performance analysis of cyclon, an inexpensive membership anagement for unstructured P2P overlays

Lecture notes in computer science, 2006, p.560-562

2006

Link zum Volltext

Verfügbarkeit prüfen

Intrusion detection in distributed systems, an approach based on taint marking

2013 IEEE International Conference on Communications (ICC), 2013, p.1962-1967

2013

Link zum Volltext
Volltext

Detecting Illegal System Calls Using a Data-Oriented Detection Model

Future Challenges in Security and Privacy for Academia and Industry, p.305-316

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

Mayotte seismic crisis: building knowledge in near real-time by combining land and ocean-bottom seismometers, first results

Study of the electro-oxidation of CoO and Co(OH)2 at 90 °C in alkaline medium

Ground deformation monitoring of the eruption offshore Mayotte

New Spinel Cobalt Oxides, Potential Conductive Additives for the Positive Electrode of Ni−MH Batteries

Bitcoin a Distributed Shared Register

The Na0.60CoO2 phase, a potential conductive additive for the positive electrode of Ni-MH cells

Modeling and evaluating targeted attacks in large scale dynamic systems

Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)

From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems

Information Flow Control for Intrusion Detection Derived from MAC Policy

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux

Hypercollecting semantics and its application to static analysis of information flow

A Secure Two-Phase Data Deduplication Scheme

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

The Na 0.60CoO 2 phase, a potential conductive additive for the positive electrode of Ni–MH cells

Automatic Software Instrumentation for the Detection of Non-control-data Attacks

Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays

Restricted failure detectors: Definition and reduction protocols

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components

Toward a distributed storage system leveraging the DSL infrastructure of an ISP

Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase

A Dependable Intrusion Detection Architecture Based on Agreement Services

Brief announcement : Performance analysis of cyclon, an inexpensive membership anagement for unstructured P2P overlays

Intrusion detection in distributed systems, an approach based on taint marking

Detecting Illegal System Calls Using a Data-Oriented Detection Model

Suchergebnisse filtern