Automated chemistry for national security applications

被引：0
|
作者：
Moody, Kenton J. [1 ]
机构：
[1] Lawrence Livermore Natl Lab, AX Div, Livermore, CA 94550 USA
来源：
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY | 2007年 / 233卷
关键词：
D O I：
暂无
中图分类号：
O6 [化学];
学科分类号：
0703 ;
摘要：
96-NUCL
引用
收藏
页数：1
相关论文
共 50 条
  • [21] Automated construction of security integrity wrappers for Industry 4.0 applications
    Nigam, Vivek
    Talcott, Carolyn
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 126
  • [22] On the Automated Creation of Understandable Positive Security Models for Web Applications
    Bockermann, Christian
    Mierswa, Ingo
    Morik, Katharina
    2008 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS, 2008, : 554 - 559
  • [23] The AVISPA tool for the automated validation of Internet security protocols and applications
    Armando, A
    Basin, D
    Boichut, Y
    Chevalier, Y
    Compagna, L
    Cuellar, J
    Drielsma, PH
    Heám, PC
    Kouchnarenko, O
    Mantovani, J
    Mödersheim, S
    von Oheimb, D
    Rusinowitch, M
    Santiago, J
    Turuani, M
    Viganò, L
    Vigneron, L
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 281 - 285
  • [24] Automated microwave monitoring of hidden objects for strategic and security applications
    Bhadouria, Vikesh S.
    Akhter, Zubair
    Akhtar, M. Jaleel
    Munshi, P.
    JOURNAL OF ELECTROMAGNETIC WAVES AND APPLICATIONS, 2021, 35 (18) : 2492 - 2509
  • [25] CAVELIER: Automated Security Evaluation for Connected Autonomous Vehicle Applications
    Boddupalli, Srivalli
    Chamarthi, Venkata Sai Gireesh
    Lin, Chung-Wei
    Ray, Sandip
    2022 IEEE 25TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2022, : 4335 - 4340
  • [26] Automated construction of security integrity wrappers for Industry 4.0 applications
    Nigam, Vivek
    Talcott, Carolyn
    Journal of Logical and Algebraic Methods in Programming, 2022, 126
  • [27] Chemistry for security - NRC workshop confirms that chemical sciences relate to national security, homeland defense
    Ember, LR
    CHEMICAL & ENGINEERING NEWS, 2002, 80 (07) : 29 - 32
  • [28] Automated Tool Support for Repairing Security Bugs in Android Mobile Applications
    Singleton, Larry
    2019 IEEE/ACM 6TH INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS (MOBILESOFT 2019), 2019, : 144 - 145
  • [29] WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
    Barletta, Michele
    Calvi, Alberto
    Ranise, Silvio
    Vigano, Luca
    Zanetti, Luca
    12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010), 2011, : 417 - 424
  • [30] An automated approach for tone mapping operator parameter adjustment in security applications
    Krasula, Lukas
    Narwaria, Manish
    Le Callet, Patrick
    OPTICS, PHOTONICS, AND DIGITAL TECHNOLOGIES FOR MULTIMEDIA APPLICATIONS III, 2014, 9138
12345