证明安全的操作系统
_
provably-secured operating system
пословный:
证明 | 明安 | 安全的 | 操作系统 |
1) свидетельствовать, доказывать, удостоверять; свидетельствующий, удостоверяющий
2) быть надлежаще засвидетельствованным (удостоверенным); доказанный, удостоверенный
3) свидетельство, доказательство
|