object-oriented programming; program testing; program verification; security of data; ubiquitous computing; access-driven testing; access-driven validation; access-driven verification; ill-intentioned activity; pervasive computing; pervasive service; security risk; software development process; software object model; Constraints and Assumptions; Exploits; Pervasive Services; Process/ObjectModel; Testing; Validation; Verification; Vulnerabilities;
机译:征集论文:普适计算和通信系统(安全和通信网络)中的安全性和隐私问题
机译:征文通知:关于普适计算和通信系统(安全和通信网络)中安全性和隐私的特刊
机译:CICV:普适计算中基于交叉索引和交叉验证算法的服务发现
机译:减轻支持普适服务和计算的系统中的安全风险:访问驱动的验证,验证和测试
机译:提高普适计算系统的能源效率和安全性。
机译:重症监护决策支持系统中使用的数据的验证和确认算法。
机译:普适计算环境中服务管理的正式建模和验证