Abstract-I detta dokument föreslår vi en taxonomi av integritetsrelaterad information-döljning / avslöjande egenskaper i termer av modal logik kunskap för multiagentsystem. De egenskaper som behandlas här är anonymitet, integritet, onymitet och identitet. Intuitivt, anonymitet innebär egendomen att dölja som utförde en viss specifik handling, integritet dölja vad som utfördes av en viss specifik agent, onymity avslöjande som utförde en viss specifik handling, och identitet avslöjar vad som utfördes av en viss specifik agent. Med utgångspunkt i Halpern och O'Neills arbete ger vi formella definitioner av dessa egenskaper och studerar den logiska struktur som ligger till grund för dem. I synnerhet visar vi att vissa svaga former av anonymitet och integritet är förenliga med vissa svaga former av onymitet respektive identitet. Vi diskuterar också förhållandet mellan våra definitioner och befintlig standardterminologi, särskilt Pfitzmann och Hansens konsoliderade förslag.
Vidare, Tsukada et al. REF tog hänsyn till de logiska motsatserna till anonymitet och integritet och gav därmed formella definitioner av onymitet och identitet.
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach
{'venue': '2009 International Conference on Computational Science and Engineering', 'journal': '2009 International Conference on Computational Science and Engineering', 'mag_field_of_study': ['Computer Science', 'Mathematics']}