Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
The FCRAO Extragalactic CO Survey. I. The Data
The Astrophysical journal. Supplement series, 1995-05, Vol.98, p.219
1995
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication1
Journal of computer security, 2022-08, Vol.30 (4), p.623-653
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the feasibility of crawling-based attacks against recommender systems1
Journal of computer security, 2022-08, Vol.30 (4), p.599-621
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols1
Journal of computer security, 2022-08, Vol.30 (4), p.573-598
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A formal framework for security analysis of NFC mobile coupon protocols
Journal of computer security, 2015-12, Vol.23 (6), p.685-707
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A CSP Account of Event-B Refinement
Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.139-154
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Erprobung kooperativer Dienste im realen Verkehrsumfeld
ATZextra, 2019-03, Vol.24 (S1), p.24-27
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Refocusing crime prevention: collective action and the quest for community
Refocusing crime prevention, 2007
1, 2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Three doses of vitamin D on bone mineral density in older women: a pilot study (257.4)
The FASEB journal, 2014-04, Vol.28 (S1), p.n/a
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Janus particle synthesis, self-assembly and applications
1, 2012
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Guest editor's preface
Journal of computer security, 2004-05, Vol.12 (3-4), p.313-315
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The View from Here: The Story of the George Rogers Clark Statue in Quincy, Illinois
Journal of the Illinois State Historical Society (1998), 2007-12, Vol.100 (4), p.360-382
2007
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A decision procedure for the existence of a rank function
Journal of computer security, 2005-01, Vol.13 (2), p.317-344
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal aspects in security and trust: third international workshop, FAST 2005, Newcastle upon Tyne UK, July 18-19, 2005, revised selected papers
1st ed., 2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intercultural Challenges for the Reintegration of Displaced Professionals: A Response to the Language Learning Needs of Refugees in Europe
1, 2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
2014 IEEE 27th Computer Security Foundations Symposium, 2014, p.169-183
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Guest editor's preface
Journal of computer security, 2003-10, Vol.11 (4), p.449-450
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
An algebraic approach to the verification of a class of Diffie-Hellman protocols
International journal of information security, 2007-03, Vol.6 (2-3), p.183-196
2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Traditions in world cinema
1, 2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Modelling and analysis of the AMBA bus using CSP and B
Concurrency and computation, 2010-06, Vol.22 (8), p.949-964
2010
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying authentication protocols with CSP
Proceedings 10th Computer Security Foundations Workshop, 1997, p.3-17
1997
Open Access
    Datensatz exportieren als...
  • BibTeX
Preserving Privacy of Vulnerable Users across Heterogeneous Sensitive Sensor Data Streams using Smart Contracts
Proceedings of the Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems, 2023, p.2-8
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
ZB 2005: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
1, 2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
2007th edition, 2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organizing practice: Building powerful relationships
Social policy, 2003-07, Vol.33 (4), p.25-27
2003
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 346
Suche als RSS-Feed
Aktive Filter
KollektionIngenta
KollektionIngentaConnect Journals
ThemaLife Sciences & Biomedicine
ThemaSoftware Engineering
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
5 weitere anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
16 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt