Automatically Inferring and Enforcing User Expectations

被引:3
|
作者
Hotzkow, Jenny [1 ]
机构
[1] Saarland Univ, Saarbrucken, Germany
关键词
android; anomaly detection; malware classification; semantics-aware;
D O I
10.1145/3092703.3098236
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Can we automatically learn how users expect an application to behave? Yes, if we consider an application from the users perspective. Whenever presented with an unfamiliar app, the user not only regards the context presented by this particular application, but rather considers previous experiences from other applications. This research presents an approach to reflect this procedure by automatically learning user expectations from the semantic contexts over multiple applications. Once the user expectations are established, this knowledge can be used as an oracle, to test if an application follows the user's expectations or entails surprising behavior by error or deliberately.
引用
收藏
页码:420 / 423
页数:4
相关论文
共 50 条
  • [1] Automatically inferring user behavior models in large-scale web applications
    Ghaemmaghami, Saeedeh Sadat Sajjadi
    Emam, Seyedeh Sepideh
    Miller, James
    INFORMATION AND SOFTWARE TECHNOLOGY, 2022, 141
  • [2] A Language for Automatically Enforcing Privacy Policies
    Yang, Jean
    Yessenov, Kuat
    Solar-Lezama, Armando
    ACM SIGPLAN NOTICES, 2012, 47 (01) : 85 - 96
  • [3] A Language for Automatically Enforcing Privacy Policies
    Yang, Jean
    Yessenov, Kuat
    Solar-Lezama, Armando
    POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 85 - 96
  • [4] Automatically Enforcing Security SLAs in the Cloud
    Casola, Valentina
    De Benedictis, Alessandra
    Erascu, Madalina
    Modic, Jolanda
    Rak, Massimiliano
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2017, 10 (05) : 741 - 755
  • [5] Automatically Enforcing Rust Trait Properties
    Byrnes, Twain
    Takashima, Yoshiki
    Jia, Limin
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT II, 2024, 14500 : 210 - 223
  • [6] Inferring network invariants automatically
    Grinchtein, Olga
    Leucker, Martin
    Piterman, Nir
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 483 - 497
  • [7] Inferring and Enforcing Relative Constraints in SLAM
    Beevers, Kristopher R.
    Huang, Wesley H.
    ALGORITHMIC FOUNDATION OF ROBOTICS VII, 2008, 47 : 139 - 154
  • [8] AUTOMATICALLY INFERRING METRICS FOR DESIGN CREATIVITY
    Fuge, Mark
    Stroud, Josh
    Agogino, Alice
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2013, VOL 5, 2014,
  • [9] Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
    Surbatovich, Milijana
    Jia, Limin
    Lucia, Brandon
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 851 - 866
  • [10] Inferring user interest
    Claypool, M
    Brown, D
    Le, P
    Waseda, M
    IEEE INTERNET COMPUTING, 2001, 5 (06) : 32 - 39