cybersecurity
A Case Study on Modeling Social Network Privacy Policies Using Event-B
Nguyen Tra, My
We present a case study on the development of a formally verified PHP web social network application. With the expansion of social media and our presence in the cyber world, the privacy and security of our content online have...
ETD1
Nguyen Tra, My1
Event-B1
PHP1
Rodin1
cybersecurity[remove]1
social media1
Computer Sciences1
Other Computer Sciences1
Software Engineering1
English1
20161
Computer Science Honors Theses1
Dickinson College1