A Logic-based Security Framework for Mobile Perimeter

被引：0
作者：
Maddumala, Mahesh Nath [1 ]
Kumar, Vijay [1 ]
机构：
[1] Univ Missouri, Comp Sci & Elect Engn, Kansas City, MO 64110 USA
来源：
2015 16TH IEEE INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT, VOL 2 | 2015年
关键词：
D O I：
10.1109/MDM.2015.53
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：30 / 33
页数：4
相关论文
共 7 条
  • [1] 3GPP, 3GPP TS 23.003
  • [2] Transformations of CLP modules
    Etalle, S
    Gabbrielli, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1996, 166 (1-2) : 101 - 146
  • [3] Location-Based Security Framework for Cloud Perimeters
    Jaiswal, Chetan
    Nath, Mahesh
    Kumar, Vijay
    [J]. IEEE CLOUD COMPUTING, 2014, 1 (03): : 56 - 64
  • [4] A practically implementable and tractable delegation logic
    Li, NH
    Grosof, B
    Feigenbaum, J
    [J]. 2000 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2000, : 27 - 42
  • [5] Li NY, 2000, THESIS
  • [6] RFC, 1981, Internet Protocol
  • [7] UNFOLD FOLD TRANSFORMATION OF STRATIFIED PROGRAMS
    SEKI, H
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 107 - 139
1