• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2022
• 
  Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani:
  Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. ISC Int. J. Inf. Secur. 14(3): 61-69 (2022)
• 
  Amirhosein Sayyadabdi:
  A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System. CoRR abs/2203.09857 (2022)
• 
  Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani:
  Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. CoRR abs/2208.11062 (2022)
• 2021
• 
  Samir Talegaon, Ram Krishnan:
  A Formal Specification of Access Control in Android with URI Permissions. Inf. Syst. Frontiers 23(4): 849-866 (2021)
• 
  Lukas Armborst, Marieke Huisman:
  Permission-Based Verification of Red-Black Trees and Their Merging. FormaliSE@ICSE 2021: 111-123
• 2020
• 
  Mike Graf, Ralf Küsters, Daniel Rausch:
  Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric. EuroS&P 2020: 236-255
• 
  Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
  Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. ICISSP 2020: 804-814
• 
  Ralf Küsters, Daniel Rausch, Mike Simon:
  Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric. IACR Cryptol. ePrint Arch. 2020: 386 (2020)
• 2019
• 
  Zhilin Zhu, Xiaojian Liu:
  A formal framework for software faults and permissions based on unified theory of programming. Clust. Comput. 22(6): 14049-14059 (2019)
• 2018
• 
  Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga:
  A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J. 21(2) (2018)
• 
  Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson:
  A formal approach for detection of security flaws in the android permission system. Formal Aspects Comput. 30(5): 525-544 (2018)
• 2017
• 
  Lu Ren, Rui Chang, Qing Yin, Yujia Man:
  A Formal Android Permission Model Based on the B Method. SpaCCS 2017: 381-394
• 2016
• 
  Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano:
  Formal Analysis of Android's Permission-Based Security Model, . Sci. Ann. Comput. Sci. 26(1): 27-68 (2016)
• 
  Thibaut Balabonski, François Pottier, Jonathan Protzenko:
  The Design and Formalization of Mezzo, a Permission-Based Programming Language. ACM Trans. Program. Lang. Syst. 38(4): 14:1-14:94 (2016)
• 
  Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray:
  Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP 2016: 10
• 2015
• 
  Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles:
  Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27(3): 525-549 (2015)
• 2012
• 
  Ijaz Ahmed:
  On the formal verification of specifications based on typestates with access permissions. University of Madeira, Portugal, 2012
• 2011
• 
  Simon N. Foley, Samane Abdi:
  Avoiding Delegation Subterfuge Using Linked Local Permission Names. Formal Aspects in Security and Trust 2011: 100-114
• 2010
• 
  Wook Shin, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka:
  A Formal Model to Analyze the Permission Authorization and Enforcement in the Android Framework. SocialCom/PASSAT 2010: 944-951
• 2005
• 
  Philippe Balbiani:
  A formal examination of roles and permissions in access control. AICCSA 2005: 96
• 2003
• 
  Hua Wang, Yanchun Zhang, Jinli Cao:
  Formal Authorisation Allocation Approaches for Permission-role Assignment Using Relational Algebra Operations. ADC 2003: 125-133