My undergraduate thesis on a capability based security system for a data-centric operating system.
init
+137
+22
1-introduction.typ
+22
1-introduction.typ
···
1
+
#import "@preview/illc-mol-thesis:0.2.0": *
2
+
3
+
#mol-chapter("Introduction")
4
+
5
+
#lorem(100)
6
+
7
+
== Background <background>
8
+
9
+
#lorem(75)
10
+
11
+
== Literature
12
+
13
+
We use standard results from @netwok2020. Also relevant for our work is
14
+
@netwok2020, where it was proven that Logic is great.
15
+
16
+
#lorem(800)
17
+
18
+
== Criticism
19
+
20
+
#lorem(150)
21
+
22
+
#load-bib(read("refs.bib"))
+25
2-my-logic.typ
+25
2-my-logic.typ
···
1
+
#import "@preview/illc-mol-thesis:0.2.0": *
2
+
3
+
#mol-chapter("My Logic")
4
+
5
+
#lorem(100)
6
+
7
+
== Syntax
8
+
9
+
#definition[
10
+
We defined the language $cal(L)$ as follows:
11
+
12
+
$ phi.alt ::= top | p | phi.alt and phi.alt $
13
+
]
14
+
15
+
#lorem(50)
16
+
17
+
== Semantics
18
+
19
+
== Axioms
20
+
21
+
== Soundness
22
+
23
+
== Completeness
24
+
25
+
#load-bib(read("refs.bib"))
+37
3-examples.typ
+37
3-examples.typ
···
1
+
#import "@preview/illc-mol-thesis:0.2.0": *
2
+
3
+
#mol-chapter("Examples")
4
+
5
+
== Figures
6
+
7
+
We illustrate the protagonist of this thesis. in @netwok2022.
8
+
9
+
#figure(caption: "The protagonist.", numbering: "1.1")[
10
+
#emoji.person
11
+
]<protagonist>
12
+
13
+
== Tables
14
+
15
+
In @cities we compare some cities.
16
+
17
+
#figure(caption: "An overview of cities.")[
18
+
#table(
19
+
columns: 3,
20
+
stroke: (x, y) => if x == 0 { (right: black) },
21
+
table.hline(),
22
+
table.header([City],[Population],[area ($"km"^2$)]),
23
+
table.hline(),
24
+
[Amsterdam],[851573],[219],
25
+
[Groningen],[200952],[ 83],
26
+
[Utrecht ],[321989],[100],
27
+
table.hline()
28
+
)
29
+
]<cities>
30
+
31
+
#mol-chapter("Conclusions")
32
+
33
+
As we discussed in @netwok2020, Logic is great.
34
+
35
+
#lorem(400)
36
+
37
+
#load-bib(read("refs.bib"))
+19
refs.bib
+19
refs.bib
···
1
+
@article{netwok2020,
2
+
title={At-scale impact of the {Net Wok}: A culinarically holistic investigation of distributed dumplings},
3
+
author={Astley, Rick and Morris, Linda},
4
+
journal={Armenian Journal of Proceedings},
5
+
volume={61},
6
+
pages={192--219},
7
+
year=2020,
8
+
publisher={Automatic Publishing Inc.}
9
+
}
10
+
11
+
@article{netwok2022,
12
+
title={{Net Wok}++: Taking distributed dumplings to the cloud},
13
+
author={Morris, Linda and Astley, Rick},
14
+
journal={Armenian Journal of Proceedings},
15
+
volume={65},
16
+
pages={101--118},
17
+
year=2022,
18
+
publisher={Automatic Publishing Inc.}
19
+
}
thesis.pdf
thesis.pdf
This is a binary file and will not be displayed.
+34
thesis.typ
+34
thesis.typ
···
1
+
#import "@preview/illc-mol-thesis:0.2.0": *
2
+
3
+
#show: mol-thesis
4
+
5
+
#mol-titlepage(
6
+
title: "Title of the Thesis",
7
+
author: "John Q. Public",
8
+
birth-date: "April 1st, 1980",
9
+
birth-place: "Alice Springs, Australia",
10
+
defence-date: "August 28, 2005",
11
+
/* Only one supervisor? The singleton array ("Dr Jack Smith",) needs the
12
+
trailing comma. */
13
+
supervisors: ("Dr Jack Smith", "Prof Dr Jane Williams"),
14
+
committee: (
15
+
"Dr Jack Smith",
16
+
"Prof Dr Jane Williams",
17
+
"Dr Jill Jones",
18
+
"Dr Albert Heijn"),
19
+
degree: "MSc in Logic"
20
+
)
21
+
22
+
#mol-abstract[
23
+
ABSTRACT OF THE THESIS
24
+
25
+
#lorem(150)
26
+
]
27
+
28
+
#outline()
29
+
#include "1-introduction.typ"
30
+
#include "2-my-logic.typ"
31
+
#include "3-examples.typ"
32
+
#pagebreak()
33
+
34
+
#load-bib(read("refs.bib"), main: true)