Die Suche ergab 68 Treffer

von FlorianD
26. Sep 2019 15:50
Forum: Formal Methods for Information Security
Thema: Lab: Reliable Software Security for Mobile Devices
Antworten: 0
Zugriffe: 108

Lab: Reliable Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the lab "Reliable Software Security for Mobile Devices" (6 CP, TUCaN Id: id 20-00-0799-pr). Apps running on Android smartphones have access to various kinds of private information of their users, e.g., contacts, appointments, and location. To protect...
von FlorianD
26. Sep 2019 15:50
Forum: Formal Methods for Information Security
Thema: Seminar: Software Security for Mobile Devices
Antworten: 0
Zugriffe: 32

Seminar: Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the seminar "Software Security for Mobile Devices" (3CP, TUCaN Id: 20-00-0641). The seminar aims at establishing a link between two hot topics in computer science: The first topic is the security solutions and known vulnerabiltities on modern mobile ...
von FlorianD
26. Sep 2019 15:49
Forum: Formal Methods for Information Security
Thema: Seminar: Current Topics of Modular Verification
Antworten: 0
Zugriffe: 36

Seminar: Current Topics of Modular Verification

In the winter term 2019/20, the MAIS group offers the seminar "Current Topics of Modular Verification" (3CP, TUCaN Id: 20-00-1077). When designing software systems, correctness is a key feature. Bugs do not only lead to costs, but can, in the worst case, even endanger human lives (e.g. software in p...
von FlorianD
26. Sep 2019 15:49
Forum: Static and Dynamic Program Analysis
Thema: Lecture: Formal Methods for Information Security
Antworten: 0
Zugriffe: 124

Lecture: Formal Methods for Information Security

In the winter term 2019/20, the MAIS group offers the integrated course "Formal Methods for Information Security" (9CP, TUCaN Id: 20-00-0362-iv). When talking about security of IT systems, best-practices for the development of secure systems or mechanisms for the protection of systems against illega...
von FlorianD
26. Sep 2019 15:48
Forum: Static and Dynamic Program Analysis
Thema: Lab: Reliable Software Security for Mobile Devices
Antworten: 0
Zugriffe: 23

Lab: Reliable Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the lab "Reliable Software Security for Mobile Devices" (6 CP, TUCaN Id: id 20-00-0799-pr). Apps running on Android smartphones have access to various kinds of private information of their users, e.g., contacts, appointments, and location. To protect...
von FlorianD
26. Sep 2019 15:48
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Software Security for Mobile Devices
Antworten: 0
Zugriffe: 18

Seminar: Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the seminar "Software Security for Mobile Devices" (3CP, TUCaN Id: 20-00-0641). The seminar aims at establishing a link between two hot topics in computer science: The first topic is the security solutions and known vulnerabiltities on modern mobile ...
von FlorianD
26. Sep 2019 15:47
Forum: Static and Dynamic Program Analysis
Thema: Seminar: Current Topics of Modular Verification
Antworten: 0
Zugriffe: 25

Seminar: Current Topics of Modular Verification

In the winter term 2019/20, the MAIS group offers the seminar "Current Topics of Modular Verification" (3CP, TUCaN Id: 20-00-1077). When designing software systems, correctness is a key feature. Bugs do not only lead to costs, but can, in the worst case, even endanger human lives (e.g. software in p...
von FlorianD
26. Sep 2019 15:40
Forum: Modellierung, Spezifikation und Semantik
Thema: Lecture: Formal Methods for Information Security
Antworten: 0
Zugriffe: 323

Lecture: Formal Methods for Information Security

In the winter term 2019/20, the MAIS group offers the integrated course "Formal Methods for Information Security" (9CP, TUCaN Id: 20-00-0362-iv). When talking about security of IT systems, best-practices for the development of secure systems or mechanisms for the protection of systems against illega...
von FlorianD
26. Sep 2019 15:39
Forum: Modellierung, Spezifikation und Semantik
Thema: Lab: Reliable Software Security for Mobile Devices
Antworten: 0
Zugriffe: 45

Lab: Reliable Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the lab "Reliable Software Security for Mobile Devices" (6 CP, TUCaN Id: id 20-00-0799-pr). Apps running on Android smartphones have access to various kinds of private information of their users, e.g., contacts, appointments, and location. To protect...
von FlorianD
26. Sep 2019 15:38
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Software Security for Mobile Devices
Antworten: 0
Zugriffe: 61

Seminar: Software Security for Mobile Devices

In the winter term 2019/20, the MAIS group offers the seminar "Software Security for Mobile Devices" (3CP, TUCaN Id: 20-00-0641). The seminar aims at establishing a link between two hot topics in computer science: The first topic is the security solutions and known vulnerabiltities on modern mobile ...
von FlorianD
26. Sep 2019 15:38
Forum: Modellierung, Spezifikation und Semantik
Thema: Seminar: Current Topics of Modular Verification
Antworten: 0
Zugriffe: 44

Seminar: Current Topics of Modular Verification

In the winter term 2019/20, the MAIS group offers the seminar "Current Topics of Modular Verification" (3CP, TUCaN Id: 20-00-1077). When designing software systems, correctness is a key feature. Bugs do not only lead to costs, but can, in the worst case, even endanger human lives (e.g. software in p...
von FlorianD
8. Mär 2016 17:01
Forum: Archiv
Thema: Modellierung einer Relation
Antworten: 3
Zugriffe: 276

Re: Modellierung einer Relation

Ich verweise einmal auf Folie 19 in Modul 1, da sind alle möglichen Varianten aufgeführt, die man für Relationen und damit auch die linke Seite der gdw. Beziehung nutzen kann.

Grüße
Florian
von FlorianD
8. Mär 2016 16:39
Forum: Archiv
Thema: Frage zu 8.2 b)
Antworten: 1
Zugriffe: 157

Re: Frage zu 8.2 b)

Um eine der neuen Regeln anzuwenden, musst du lediglich (true or not true) zu (true or false) umformen. Das geht mit Regel ar\vee5' . Es ist b_1 = true , b_2= not~ true , also auch b_2 \notin Bool , weshalb die Regel angewendet werden kann. Edit: Habe das Problem falsch verstanden, du könntest recht...
von FlorianD
8. Mär 2016 16:33
Forum: Archiv
Thema: Modul 13 Folie 14 - Modellierung einer Steuerung
Antworten: 3
Zugriffe: 239

Re: Modul 13 Folie 14 - Modellierung einer Steuerung

Hallo Alex,

beachte, dass im zweiten Teil der Konjunktion eine Implikation \(\Rightarrow\) steht. Bei der Wahl von 2 als \(s\) ist die linke Seite der Implikation nicht erfüllt, also ist dieser Fall schon abgehakt und man brauch sich die rechte Seite gar nicht mehr anschauen.

Grüße
Florian
von FlorianD
8. Mär 2016 13:51
Forum: Archiv
Thema: Übung 13.3 a)
Antworten: 1
Zugriffe: 194

Re: Übung 13.3 a)

Ich denke die Lösung sollte auch stimmen. Wenn du deine Prozesse anschaust sollte auffallen, dass \(P\) und \(Q\) das selbe machen, genau so wie \(R\) und \(S\), die auch das selbe machen. Wenn du nun die identischen Prozesse zusammenfasst, kommst du auf die Lösung im Lösungsvorschlag.

Grüße
Florian

Zur erweiterten Suche