Open AccessFormalization of the Access Control on ARM-Android Platform with the B Method
Author(s) -
Lu Ren,
Wei Wang,
Xiaodong Zhu,
Yujia Man,
Qing Yin
Publication year - 2018
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/933/1/012007
Subject(s) - android (operating system) , computer science , access control , embedded system , operating system , linux kernel