UB Paderborn / Katalog / Suche / in CDI

Security Concerns in Android mHealth Apps

AMIA ... Annual Symposium proceedings, 2014, Vol.2014, p.645-654

2014

Volltextzugriff (PDF)

Inferring Clinical Workflow Efficiency via Electronic Medical Record Utilization

AMIA ... Annual Symposium proceedings, 2015-01, Vol.2015, p.416-425

2015

Volltextzugriff (PDF)

FAMILIAL SEARCHES, THE FOURTH AMENDMENT, AND GENOMIC CONTROL

Southern California law review, 2022-01, Vol.96, p.1-14

2022

Volltextzugriff (PDF)

Role prediction using Electronic Medical Record system audits

AMIA ... Annual Symposium proceedings, 2011, Vol.2011, p.858-867

2011

Volltextzugriff (PDF)

WSEmail

Service oriented computing and applications, 2020-01, Vol.14 (1), p.5-17

2020

Volltextzugriff (PDF)

Detecting AI Trojans Using Meta Neural Analysis

2021 IEEE Symposium on Security and Privacy (SP), 2021, p.103-120

2021

Volltextzugriff (PDF)

Identity, location, disease and more: inferring your secrets from android public resources

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.1017-1028

2013

Volltextzugriff (PDF)

De facto diagnosis specialties: R ecognition and discovery

Learning health systems, 2018-07, Vol.2 (3)

2018

Volltextzugriff (PDF)

Reasoning about secrecy for active networks

Journal of computer security, 2003, Vol.11 (2), p.245-287

2003

Volltextzugriff (PDF)

Ottenberg, Hans-Günter: Carl Philipp Emanuel Bach. Leipzig 1982

Bach-Jahrbuch, 2018-03, Vol.70, p.177

Schulze, Hans-Joachim

2018

Volltextzugriff (PDF)

An Integrated Architecture for Demand Response Communications and Control

Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008), 2008, p.174-174

2008

Volltextzugriff (PDF)

Generalized certificate revocation

Annual Symposium on Principles of Programming Languages: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 19-21 Jan. 2000, 2000, p.316-329

2000

Volltextzugriff (PDF)

Unified Architecture for Large-Scale Attested Metering

2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007, p.115-115

2007

Volltextzugriff (PDF)

Certificate Distribution with Local Autonomy

Active Networks, 2000, p.277-295

2000

Volltextzugriff (PDF)

Reference counting as a computational interpretation of linear logic

Journal of functional programming, 1996-03, Vol.6 (2), p.195-244

1996

Volltextzugriff (PDF)

Defeasible security policy composition for web services

Proceedings of the fourth ACM workshop on Formal methods in security, 2006, p.45-54

2006

Volltextzugriff (PDF)

Attribute-Based Messaging: Access Control and Confidentiality

ACM transactions on information and system security, 2010-12, Vol.13 (4)

2010

Volltextzugriff (PDF)

A generalization of exceptions and control in ML-like languages

Functional Programming Languages and Computer Architecture: Proceedings of the seventh international conference on Functional programming languages and computer architecture; 26-28 June 1995, 1995, p.12-23

1995

Volltextzugriff (PDF)

A model-based approach to integrating security policies for embedded devices

International Conference On Embedded Software: Proceedings of the 4th ACM international conference on Embedded software; 27-29 Sept. 2004, 2004, p.211-219

2004

Volltextzugriff (PDF)

Guest editorial network infrastructure configuration

IEEE journal on selected areas in communications, 2009-04, Vol.27 (3), p.249-252

2009

Volltextzugriff (PDF)

The HandyTech's Coming Between 1 and 4: Privacy Opportunities and Challenges for the IoT Handyperson

Proceedings of the 22nd Workshop on Privacy in the Electronic Society, 2023, p.129-134

2023

Volltextzugriff (PDF)

Specifying and Analyzing Workflows for Automated Identification and Data Capture

2009 42nd Hawaii International Conference on System Sciences, 2009, p.1-11

2009

Volltextzugriff (PDF)

Securing the drop-box architecture for assisted living

Proceedings of the fourth ACM workshop on Formal methods in security, 2006, p.1-12

2006

Volltextzugriff (PDF)

Proving memory management invariants for a language based on linear logic

LFP, 92: Conference on LISP and Functional Programming, 1992-01, Vol.V (1), p.139-150

1992

Volltextzugriff (PDF)

Formal prototyping in early stages of protocol design

Annual Symposium on Principles of Programming Languages: Proceedings of the 2005 workshop on Issues in the theory of security; 10-11 Jan. 2005, 2005, p.67-80

2005

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Security Concerns in Android mHealth Apps

Inferring Clinical Workflow Efficiency via Electronic Medical Record Utilization

FAMILIAL SEARCHES, THE FOURTH AMENDMENT, AND GENOMIC CONTROL

Role prediction using Electronic Medical Record system audits

WSEmail

Detecting AI Trojans Using Meta Neural Analysis

Identity, location, disease and more: inferring your secrets from android public resources

De facto diagnosis specialties: R ecognition and discovery

Reasoning about secrecy for active networks

Ottenberg, Hans-Günter: Carl Philipp Emanuel Bach. Leipzig 1982

An Integrated Architecture for Demand Response Communications and Control

Generalized certificate revocation

Unified Architecture for Large-Scale Attested Metering

Certificate Distribution with Local Autonomy

Reference counting as a computational interpretation of linear logic

Defeasible security policy composition for web services

Attribute-Based Messaging: Access Control and Confidentiality

A generalization of exceptions and control in ML-like languages

A model-based approach to integrating security policies for embedded devices

Guest editorial network infrastructure configuration

The HandyTech's Coming Between 1 and 4: Privacy Opportunities and Challenges for the IoT Handyperson

Specifying and Analyzing Workflows for Automated Identification and Data Capture

Securing the drop-box architecture for assisted living

Proving memory management invariants for a language based on linear logic

Formal prototyping in early stages of protocol design

Aktive Filter

Suchergebnisse filtern