Die Suche ergab 124 Treffer

von Markus Tasch
12. Jul 2016 17:10
Forum: Archiv
Thema: Seminar: Computer Security Foundations im WS16/17
Antworten: 1
Zugriffe: 294

Seminar: Computer Security Foundations im WS16/17

Im Wintersemester 2016/2017 bietet das Fachgebiet MAIS (Prof. Dr.-Ing. Heiko Mantel) das Seminar Computer Security Foundations an (3CP, 2 SWS, TUCaN ID 20-00-0925-se) Das gemeinsame Kick-Off Meeting für alle Seminare des Fachgebiets MAIS findet am 25. Oktober von 16:30 bis 18:00 in S202|E302 statt. ...
von Markus Tasch
8. Jul 2016 12:16
Forum: Archiv
Thema: Room Assignment Final Exam Thursday 14.07.2016, 11:40-13:20
Antworten: 0
Zugriffe: 292

Room Assignment Final Exam Thursday 14.07.2016, 11:40-13:20

As information for everybody participating in the FMIS final exam on Thursday 14.07.2016, 11:40-13:20. The room assignment can now be found in the news section of the course website.
von Markus Tasch
7. Jun 2016 11:35
Forum: Archiv
Thema: No Lecture or Exercise on Wednesday 08.06.2016
Antworten: 0
Zugriffe: 213

No Lecture or Exercise on Wednesday 08.06.2016

Due to TU Meet & Move, there will be no lecture or exercise on Wednesday 08.06.2016. The next lecture takes place on Thursday 09.06.2016 at the usual time.
von Markus Tasch
2. Jun 2016 11:52
Forum: Archiv
Thema: Information on Exercise Sheet 07
Antworten: 0
Zugriffe: 258

Information on Exercise Sheet 07

As some of you might already have noticed, the last two exercises of Exercise Sheet 07 already cover parts of the formalization of protection graphs that were not yet introduced in the lecture. Therefore, you only have to focus on the first three exercises in the preparation for the exercise session...
von Markus Tasch
30. Mai 2016 17:53
Forum: Archiv
Thema: Ex 2_solution: small typo
Antworten: 1
Zugriffe: 512

Re: Ex 2_solution: small typo

I adjusted the sample solution of the exercise sheet accordingly. The typo is now corrected in the current version (v1.2) of Exercise 2.
von Markus Tasch
30. Mai 2016 17:53
Forum: Archiv
Thema: Ex 2.2e)_solution: small typo
Antworten: 1
Zugriffe: 496

Re: Ex 2.2e)_solution: small typo

I adjusted the sample solution of the exercise sheet accordingly. The typo is now corrected in the current version (v1.2) of Exercise 2.
von Markus Tasch
25. Mai 2016 15:23
Forum: Archiv
Thema: Room Assignment Mid-Term Exam on Wednesday 01.06.2016, 9:50-11:30
Antworten: 0
Zugriffe: 253

Room Assignment Mid-Term Exam on Wednesday 01.06.2016, 9:50-11:30

As information for everybody participating in the FMIS mid-term exam on Wednesday 01.06.2016, 9:50-11:30. The room assignment can now be found in the news section of the course website.
von Markus Tasch
24. Mai 2016 14:50
Forum: Archiv
Thema: Questions and Answers Session on Tuesday May 31
Antworten: 0
Zugriffe: 214

Questions and Answers Session on Tuesday May 31

On Tuesday 31.05.2016 a part of the lecture will be used for a questions and answers session before the exam. Please send us your questions via e-mail in advance such that we can prepare and cluster the questions. Please send your e-mail to both Prof. Mantel and Markus Tasch. If you want to avoid du...
von Markus Tasch
11. Mai 2016 16:45
Forum: Archiv
Thema: Slide 4.44: typo?
Antworten: 1
Zugriffe: 371

Re: Slide 4.44: typo?

I will update the slides as soon as possible (i.e. tomorrow) and publish v1.1 of Module04 removing the inconsistency (and typo). Thanks for pointing that out.
von Markus Tasch
11. Mai 2016 09:37
Forum: Archiv
Thema: 4.23/4.25: Difference R_weird and LABELS
Antworten: 1
Zugriffe: 292

Re: 4.23/4.25: Difference R_weird and LABELS

The usage of two parameters in the definition allows you to restrict the allowed labels l \in LABELS by excluding certain instances in your definition of the rules \mathcal{R} . While in most cases LABELS = \mathcal{R} holds, this gives additional freedom in the design of your system. For instance, ...
von Markus Tasch
10. Mai 2016 09:23
Forum: Archiv
Thema: Ex3.3: transition relation semantics (HRU model)
Antworten: 3
Zugriffe: 520

Re: Ex3.3: transition relation semantics (HRU model)

Doesn't the Definition on slide 4.25 imply the equivalence? Yes, you can prove the equivalence based on definition on slide 4.25. Nevertheless, you would have to prove a corrsponding theorem to use this result in a formal proof in a clean fashion. For Exercise 3.3: Here a convincing argument using ...
von Markus Tasch
9. Mai 2016 15:28
Forum: Archiv
Thema: Ex3.3: transition relation semantics (HRU model)
Antworten: 3
Zugriffe: 520

Re: Ex3.3: transition relation semantics (HRU model)

As usual with formal semantics, they have to be used as they are defined. Therefore, stick to "implies" instead of "if and only if". Potentially your problem in solving Exercise 3.3a) is solved by taking another look at the definition on Slide 25 (Module 04).
von Markus Tasch
28. Apr 2016 12:56
Forum: Archiv
Thema: Termin der Nachschreibeklausur
Antworten: 2
Zugriffe: 321

Re: Termin der Nachschreibeklausur

Es wird eine Klausur im SS16 geben. Der Termin ist meines Wissens noch nicht fixiert, sollte aber wohl spätestens bei der Anmeldung zur Prüfung in TUCaN sichtbar sein.
von Markus Tasch
15. Apr 2016 11:03
Forum: Archiv
Thema: Klausurergebnisse und Klausureinsicht
Antworten: 10
Zugriffe: 778

Klausurergebnisse und Klausureinsicht

Die Klausurergebnisse zur Klausur "Modellierung, Spezifikation und Semantik" im WS15/16 wurden ans Studienbüro gemeldet.

Die Klausureinsicht findet am Fr 22.04 von 13:30-17:30 in S2|02 Raum B002 statt. Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass.
von Markus Tasch
4. Mär 2016 09:14
Forum: Archiv
Thema: Modul 6 Folie 7/10
Antworten: 5
Zugriffe: 267

Re: Modul 6 Folie 7/10

Das ist richtig. Eine korrigierte Version der Folien ist nun auf der Veranstaltungsliste online.

Zur erweiterten Suche