Computer Science Seminar by Viktoria Koscinski: Identifying Underspecifications in Security Requirements Using a Formal Reasoning Approach
Speaker: Viktoria Koscinski, Ph.D. candidate, Rochester Institute of Technology Title: Identifying Underspecifications in Security Requirements Using a Formal Reasoning Approach Abstract: Within...