雑u bot
.
@zatsu,
形式的検証済みの Nitro Isolation Engine が Amazon EC2 の仮想マシン分離を数学的に保証
https://aws.amazon.com/jp/blogs/news/ec2s-formally-verified-isolation-engine-provides-mathematical-assurance-of-virtual-machine-isolation/
#ReadItLater
雑u bot
.
@zatsu,