Example Models Documentation

DFD Example Models

Name	Model Type
AppleWallet	DFD
ABAC-No-Violation (Access Control)	DFD
ABAC-Violation (Access Control)	DFD
Conference Management App	DFD
Component Testing	DFD
ContactSMS-No-Violation (Access Control)	DFD
ContactSMS-Violation (Access Control)	DFD
ContactSMS-No-Violation (Information Flow)	DFD
ContactSMS-Violation (Information Flow)	DFD
Corona Warn App	DFD
DAC-No-Violation (Access Control)	DFD
DAC-Violation (Access Control)	DFD
DistanceTracker-No-Violation (Access Control)	DFD
DistanceTracker-Violation (Access Control)	DFD
DistanceTracker-No-Violation (Information Flow)	DFD
DistanceTracker-Violation (Information Flow)	DFD
DocProc	DFD
ECUUpdate	DFD
FriendMap-No-Violation (Information Flow)	DFD
FriendMap-Violation (Information Flow)	DFD
Hippa	DFD
Hospital-No-Violation (Information Flow)	DFD
Hospital-Violation (Information Flow)	DFD
JPMail-No-Violation (Information Flow)	DFD
JPMail-Violation (Information Flow)	DFD
MilitaryAircraftController-No-Violation (Access Control)	DFD
MilitaryAircraftController-Violation (Access Control)	DFD
MiniTwit	DFD
PatientMonitoringSystem-Monitoring	DFD
PatientMonitoringSystem-Overview	DFD
PrivateTaxi-No-Violation (Information Flow)	DFD
SmartSpeakerSystem-No-Violation	DFD
SmartSpeakerSystem-Storage-Violation	DFD
SmartSpeakerSystem-Permission-Violation	DFD
TravelPlanner-No-Violation (Access Control)	DFD
TravelPlanner-Violation (Access Control)	DFD
TravelPlanner-No-Violation (Information Flow)	DFD
TravelPlanner-Violation (Information Flow)	DFD
VWCariad	DFD
WebRTC-No-Violation (Information Flow)	DFD
WebRTC-Violation (Information Flow)	DFD
BankBranches	PCM
BranchingOnlineShop	PCM
CoCar	PCM
Corona Warn App	PCM
EVerest	PCM
InternationalOnlineShop	PCM
MaaS	PCM
TravelPlanner	PCM