formal specification; security of data; Internet; bank data processing; security requirements; requirements engineering; formal specification; goal satisfaction; formal analysis; Web-based banking;
机译:行业教学危机沟通:预防和控制高度致病性禽流感的模型与反模型生物安全标准
机译:安全要求基于模板的方法,提高完整安全要求的写作
机译:面向模型的安全需求工程的有效性和性能分析,以得出安全需求:开发安全软件系统的系统解决方案
机译:通过构造有意的反模型来详细说明安全性要求
机译:评估密码构造属性和现代安全哈希算法的安全性要求。
机译:精心的安全培训以打击基因组垃圾的表达
机译:通过构造有意的反模型来详细说明安全性要求
机译:新核电厂建设期间的安全:获取授权和适用性要求的技术基础