short introduction
play

Short Introduction Achim D. Brucker a.brucker@sheffield.ac.uk - PowerPoint PPT Presentation

Sep 18, 2022 •100 likes •187 views

Short Introduction Achim D. Brucker a.brucker@sheffield.ac.uk http://www.brucker.uk/ Department of Computer Science, The University of Sheffield, Sheffield, UK Dagstuhl Seminar 16191: Fresh Approaches to Business Process Modeling

  1. Short Introduction Achim D. Brucker a.brucker@sheffield.ac.uk http://www.brucker.uk/ Department of Computer Science, The University of Sheffield, Sheffield, UK Dagstuhl Seminar 16191: “Fresh Approaches to Business Process Modeling” http://www.dagstuhl.de/16191 08.05.2016 – 13.05.2016

  2. Personal Background E n e g i r n a e w e t r Since 12/2015: f i o n S g Senior Lecturer at The University of Sheffield, UK Software Assurance (Security, Reliability), I n Model-driven Engineering, Formal Methods f s o d r o m h SAP SE, Germany a t e t M i o n Member of the central security team l a S m e c r u o r F i t Security Testing Strategist y Security Research Expert/Architect Work areas: Ensure that SAP products are build securely Development new security features for SAP products Applied research (security, reliability, . . . ) . . . PhD (Dr. sc. ETH) from ETH Zurich, Switzerland http://www.brucker.uk/ A.D. Brucker The University of Sheffield Short Introduction 08.02.2015 – 13.08.2015 2

  3. Model-driven Security for Business Process-driven Systems Contributions to the Seminar Security aware process-driven systems Modelling Implementation Operation Technology A.D. Brucker The University of Sheffield Short Introduction 08.02.2015 – 13.08.2015 3

  4. Model-driven Security for Business Process-driven Systems Contributions to the Seminar Security aware process-driven systems Modelling Extending BPPMN with security and compliance aspects SecureBPMN (BPMN 1.x, access control and compliance) SecBPMN (BPMN 2.0, broad security scope, rather abstract) Formal analysis of security annotated BPMN models Dolve-Yao-style attacker model SAT-based model-checker (SATMC) Implementation Operation Technology A.D. Brucker The University of Sheffield Short Introduction 08.02.2015 – 13.08.2015 3

  5. Model-driven Security for Business Process-driven Systems Contributions to the Seminar Security aware process-driven systems Modelling Implementation BPMN execution engines Generic extension with security hooks Semi-manual implementation Security-aware BPMN execution engines Generation of code including security enforcement Static source code analysis (based on secure BPMN spec.) of manual implementation and configurations Generation of security configurations XACML policies Log/audit configurations Operation Technology A.D. Brucker The University of Sheffield Short Introduction 08.02.2015 – 13.08.2015 3

  6. Model-driven Security for Business Process-driven Systems Contributions to the Seminar Security aware process-driven systems Modelling Implementation Operation Identify/user management Consistency check of federated user management Enforcement XACML policies Monitoring Runtime monitoring using ConSpec Technology A.D. Brucker The University of Sheffield Short Introduction 08.02.2015 – 13.08.2015 3

  7. Model-driven Security for Business Process-driven Systems Contributions to the Seminar Security aware process-driven systems Modelling Implementation Operation Technology BPMN-based systems: Activiti BPMN SAP Netweaver BPMN jBPMN (JBoss/RedHat) Artifact-based/Transaction-based systems SAP Business Suite (ABAP) SAP HANA (RDL) A.D. Brucker The University of Sheffield Short Introduction 08.02.2015 – 13.08.2015 3

  8. Thank you for your attention! Any questions or remarks? Contact: Dr. Achim D. Brucker Phone: +44 114 22 21806 Department of Computer Science https://de.linkedin.com/in/adbrucker University of Sheffield https://www.brucker.uk Regent Court https://www.logicalhacking.com 211 Portobello St. Sheffield S1 4DP a.brucker@sheffield.ac.uk UK

Recommend

Short introduction to L A T EX Christensen A tour of features with many examples Outline

Short introduction to L A T EX Christensen A tour of features with many examples Outline

Short introduction to L T EX A A. D. Short introduction to L A T EX Christensen A tour of features with many examples Outline Introduction Differences to WYSIWYG editors Anders Damsgaard Christensen Required software Writing with

495 views • 26 slides
Short Introduction to R Paulino Prez 1 Jos Crossa 2 1 ColPos-Mxico 2 CIMMyT-Mxico

Short Introduction to R Paulino Prez 1 Jos Crossa 2 1 ColPos-Mxico 2 CIMMyT-Mxico

Short Introduction to R Paulino Prez 1 Jos Crossa 2 1 ColPos-Mxico 2 CIMMyT-Mxico September, 2014. SLU,Sweden Short Introduction to R 1/51 Contents Introduction 1 2 Simple objects 3 User defined functions 4 Graphs 5 Importing

826 views • 51 slides
Automata: a short introduction Paolo Turrini ILIAS, University of Luxembourg Discrete

Automata: a short introduction Paolo Turrini ILIAS, University of Luxembourg Discrete

Automata: a short introduction Automata: a short introduction Paolo Turrini ILIAS, University of Luxembourg Discrete Mathematics II May 2012 Paolo Turrini Automata: a short introduction Automata: a short introduction What is a computer?

1.42k views • 84 slides
Script workshop swissbib for the short distance runner slide 1 introduction: Hello

Script workshop swissbib for the short distance runner slide 1 introduction: Hello

Script workshop swissbib for the short distance runner slide 1 introduction: Hello a short introduction of myself: My name is Gnter Hipler. I'm working for the swissbib project since 5 years in the role as a system architect. 3

395 views • 14 slides
Cyclone A Very Short Introduction Dan Grossman Cornell University Computer Science Cyclone

Cyclone A Very Short Introduction Dan Grossman Cornell University Computer Science Cyclone

Cyclone A Very Short Introduction Dan Grossman Cornell University Computer Science Cyclone Very Short Introduction, June 2001 Cyclone in One Slide A safe, convenient, and modern language/compiler at the C level of abstraction Safe:

69 views • 6 slides
GSM Short Message Service GSM Short Message Service GSM Short Message Service GSM Short Message

GSM Short Message Service GSM Short Message Service GSM Short Message Service GSM Short Message

National Taiwan University Department of Computer Science and Information Engineering GSM Short Message Service GSM Short Message Service GSM Short Message Service GSM Short Message Service Phone Lin Phone Lin Ph.D. Ph.D. Email:

360 views • 13 slides
Introduction - At the end of unit 13 I want to have produced a short documentary on the

Introduction - At the end of unit 13 I want to have produced a short documentary on the

Behind Closed Doors Introduction - At the end of unit 13 I want to have produced a short documentary on the dangers that surround Urban Exploring in regards to trespassing, buildings

287 views • 4 slides
1. Introduction What are short rotation coppices (SRCs)? Woody, perennial crops: willow,

1. Introduction What are short rotation coppices (SRCs)? Woody, perennial crops: willow,

2017-07-07 C ONVERTING W ASTE T O R ESOURCES: A DECISION-SUPPORT MODEL FOR WASTEWATER-IRRIGATED SHORT ROTATION CROPS (General Introduction) By Huy Nguyen 1,* , Evan Davies 2 , Miles Dyck 3 , Martin Blank 4 , Richard Krygier 4 1. Department of

365 views • 19 slides
Short scale scenario Vladim r Fuka, Josef Brechler Dept. of Meteorology and Environment

Short scale scenario Vladim r Fuka, Josef Brechler Dept. of Meteorology and Environment

Introduction Title Numerical methods Introduction Parameters for computation of the short-scale scenario Introduction Results Short scale scenario Vladim r Fuka, Josef Brechler Dept. of Meteorology and Environment Protection, Charles

518 views • 14 slides
term Memory? Kowialiewski Benjamin Gorin Simon Majerus Steve Introduction Verbal short-term

term Memory? Kowialiewski Benjamin Gorin Simon Majerus Steve Introduction Verbal short-term

Does Semantic Knowledge Influence Serial Order Processing In Short- term Memory? Kowialiewski Benjamin Gorin Simon Majerus Steve Introduction Verbal short-term memory: temporary storage of verbal information Recall Introduction Item

518 views • 22 slides
libiio Lars-Peter Clausen, Analog Devices Agenda 1) Short introduction to IIO 2) Motivation for

libiio Lars-Peter Clausen, Analog Devices Agenda 1) Short introduction to IIO 2) Motivation for

libiio Lars-Peter Clausen, Analog Devices Agenda 1) Short introduction to IIO 2) Motivation for libiio 3) Using libiio 4) Infrastructure built with and around libiio 5) Future outlook Short Introduction to IIO Introduction to IIO

801 views • 52 slides
Models in Magnetism: Models in Magnetism: Introduction Introduction E. Burzo Faculty of

Models in Magnetism: Models in Magnetism: Introduction Introduction E. Burzo Faculty of

Models in Magnetism: Models in Magnetism: Introduction Introduction E. Burzo Faculty of Physics, Babes-Bolyai University Cluj-Napoca, Romania Short review: Short review: basic models describing the magnetic behaviour connections

739 views • 42 slides
Introduction to R See DAAG Chapter 1 Short R session R is available on lab computers, and for

Introduction to R See DAAG Chapter 1 Short R session R is available on lab computers, and for

Introduction to R See DAAG Chapter 1 Short R session R is available on lab computers, and for free from CRAN (see course syllabus) After starting the R gui, you will be confronted by the command prompt R as a calculator Try the

680 views • 29 slides
Phi.sh/$oCiaL: The Phishing landscape through Short URL's 1. Introduction With the advent of

Phi.sh/$oCiaL: The Phishing landscape through Short URL's 1. Introduction With the advent of

Phi.sh/$oCiaL: The Phishing landscape through Short URL's 1. Introduction With the advent of Web 2.0 technologies, social services like Twitter, Facebook, and MySpace have emerged as popular media for information sharing; While phishing

813 views • 33 slides
Topic Models and Applications to Short Documents Dieu-Thu Le Email: dieuthu.le@unitn.it Trento

Topic Models and Applications to Short Documents Dieu-Thu Le Email: dieuthu.le@unitn.it Trento

Introduction Latent Dirichlet Allocation Gibbs Sampling Short Text Enrichment with Topic Models Topic Models and Applications to Short Documents Dieu-Thu Le Email: dieuthu.le@unitn.it Trento University April 6, 2011 1 / 43 Introduction

557 views • 51 slides
Short scale scenario Vladim r Fuka, Josef Brechler Dept. of Meteorology and Environment

Short scale scenario Vladim r Fuka, Josef Brechler Dept. of Meteorology and Environment

Introduction Numerical methods Title Parameters for computation of the short-scale scenario Introduction Results Short scale scenario Vladim r Fuka, Josef Brechler Dept. of Meteorology and Environment Protection, Charles University in

635 views • 17 slides
A Short Introduction to Bayesian Optimization With applications to parameter tuning on

A Short Introduction to Bayesian Optimization With applications to parameter tuning on

A Short Introduction to Bayesian Optimization With applications to parameter tuning on accelerators Johannes Kirschner 28th February 2018 ICFA Workshop on Machine Learning for Accelerator Control Solve x = arg max f ( x ) x X 0

511 views • 36 slides
A very short, sketchy, introduction to A very short, sketchy, introduction to Bioconductor

A very short, sketchy, introduction to A very short, sketchy, introduction to Bioconductor

A very short, sketchy, introduction to A very short, sketchy, introduction to Bioconductor Bioconductor Abhijit Dasgupta Abhijit Dasgupta Fall, 2019 Fall, 2019 1 BIOF339, Fall, 2019 Bioconductor Bioconductor provides tools for the

612 views • 50 slides
Short introduction to monitoring systems for large Short introduction to monitoring systems for

Short introduction to monitoring systems for large Short introduction to monitoring systems for

Short introduction to monitoring systems for large Short introduction to monitoring systems for large computer farms computer farms Immediate Reaction / Configuration Change Immediate Reaction / Configuration Change Security Auditing Security

509 views • 7 slides
Macroeconomic equilibrium in the short run Introduction The big picture IS- TR Model TR curve

Macroeconomic equilibrium in the short run Introduction The big picture IS- TR Model TR curve

Macroeconomic equilibrium in the short run Introduction The big picture IS- TR Model TR curve IS-TR today and Monday AS-AD: lecture AS: Ch 12 notes (+ IS-TR with parts of capital flows: Ch 13) Wednesday Outline Cyclical

941 views • 45 slides
A short introduction on Ashfield Building Group About Ashfield 18 yearsold 20

A short introduction on Ashfield Building Group About Ashfield 18 yearsold 20

A short introduction on Ashfield Building Group About Ashfield 18 yearsold 20 salariedemployees Sectors we work 70% residential / 30% commercial 33 Average % of on-site sub-contracted workforce 7-10 on-going job sites at

718 views • 29 slides
SHORT INTRODUCTION ON MANAGEMENT AND PRIVATE EQUITY TO: January 21, 2016 CONTENTS Introduction

SHORT INTRODUCTION ON MANAGEMENT AND PRIVATE EQUITY TO: January 21, 2016 CONTENTS Introduction

SHORT INTRODUCTION ON MANAGEMENT AND PRIVATE EQUITY TO: January 21, 2016 CONTENTS Introduction Remko Jager Summary profile Gilde Private equity history Venture capital, private equity and turnarounds Hands off and hands

180 views • 15 slides
DNA Short Tandem Repeats Organism DNA Short Tandem Repeats Organ DNA Short Tandem Repeats Cell

DNA Short Tandem Repeats Organism DNA Short Tandem Repeats Organ DNA Short Tandem Repeats Cell

DNA Short Tandem Repeats Organism DNA Short Tandem Repeats Organ DNA Short Tandem Repeats Cell Weights 1kg a bag of sugar 1g paper clip 1mg (milligram) 0.001g brain of a bee 1g (microgram) 0.000001g weight of a

1.38k views • 102 slides
A short introduction to L A T EX and its importance Damodar Rajbhandari Out-reach Blogger at

A short introduction to L A T EX and its importance Damodar Rajbhandari Out-reach Blogger at

Table of contents Info on L A T EX Tutorial Acknowledgements A short introduction to L A T EX and its importance Damodar Rajbhandari Out-reach Blogger at www.physicslog.com St. Xaviers College Kathmandu, Nepal 2017 Damodar

1.33k views • 98 slides

More recommend