OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations

Pengcheng Jiang, Kenji Tei

研究成果: Conference contribution

フィンガープリント

「OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Business & Economics

Mathematics

Engineering & Materials Science