Web services; data privacy; description logic; mobile computing; security of data; Amazon Web Services; DL models; Facebook login; Flurry.com; Waze mobile application; data use flexibility; description logic; exponential asymptotic timeframes; guidelines; international standards; multiparty data flow requirements; multiparty privacy requirements specifications; over-collection detection; repurposing detection; use limitation principles; Advertising; Data privacy; Facebook; Limiting; Privacy; Terminology; Data flow analysis; privacy principles; requirements validation;
机译:Eddy,一种用于指定和分析数据流规范以应对冲突的隐私要求的正式语言
机译:一种在软件需求规范中检测语法和语法歧义的方法
机译:使用抽象和模型检查来发现需求规范中的安全违规
机译:检测在多方隐私要求规范中的重新淘汰和过度收集
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:使用安全的多方计算在权限区块链中保护隐私
机译:PCM工具:敏捷软件开发中的隐私要求规范