An abstract interpretation-based framework for software watermarking

被引：0
|
作者：
Cousot, Patrick [1 ]
Cousot, Radhia [2 ]
机构：
[1] Écl. Normale Sup., 75230 Paris Cedex 05, France
[2] CNRS, École Polytechnique, 91128 Palaiseau Cedex, France
来源：
Conf Rec Annu ACM Symp Princ Program Lang | / 173-185期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Algorithms - Copyrights - Cryptography - Digital watermarking - Java programming language - Problem solving - Reliability theory - Semantics - Software engineering
引用
下载
收藏
相关论文
共 50 条
  • [31] An Abstract Interpretation Framework for Termination
    Cousot, Patrick
    Cousot, Radhia
    POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 245 - 257
  • [32] An Abstract Interpretation Framework for Termination
    Cousot, Patrick
    Cousot, Radhia
    ACM SIGPLAN NOTICES, 2012, 47 (01) : 245 - 257
  • [33] An interpretation-based convolution neural network framework for geophysical data fusion and aquifer structure identification
    Jiang, Zhenjiao
    Wang, Jinxin
    Chen, Xuanyi
    Journal of Applied Geophysics, 2024, 230
  • [34] On Software Safety, Security, and Abstract Interpretation
    Kaestner, Daniel
    Mauborgne, Laurent
    Ferdinand, Christian
    FORMAL METHODS, 2018, 10951 : 662 - 665
  • [35] Abstract interpretation checks software errors
    不详
    CONTROL ENGINEERING, 2004, 51 (01) : IP8 - IP8
  • [36] Content and Quality: Interpretation-Based Estimation of Image Quality
    Radun, Jenni
    Leisti, Tuomas
    Hakkinen, Jukka
    Ojanen, Harri
    Olives, Jean-Luc
    Vuori, Tero
    Nyman, Gote
    ACM TRANSACTIONS ON APPLIED PERCEPTION, 2008, 4 (04) : 1 - 15
  • [37] Interpretation-based processing: a unified theory of semantic sentence comprehension
    Budiu, R
    Anderson, JR
    COGNITIVE SCIENCE, 2004, 28 (01) : 1 - 44
  • [38] A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation
    Jiang, Qingyu
    Liu, Jing
    Hu, Haodong
    2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 119 - 128
  • [39] Explaining multivariate image quality - Interpretation-Based Quality Approach
    Radun, Jenni
    Virtanen, Toni
    Nyman, Gote
    Olives, Jean-Luc
    ICIS '06: INTERNATIONAL CONGRESS OF IMAGING SCIENCE, FINAL PROGRAM AND PROCEEDINGS: LINKING THE EXPLOSION OF IMAGING APPLICATIONS WITH THE SCIENCE AND TECHNOLOGY OF IMAGING, 2006, : 119 - +
  • [40] Modular Software Fault Isolation as Abstract Interpretation
    Besson, Frederic
    Jensen, Thomas
    Lepiller, Julien
    STATIC ANALYSIS (SAS 2018), 2018, 11002 : 166 - 186
12345