LANGUAGE EXTENSIONS FOR SPECIFYING PROGRAM ACCESS-CONTROL POLICIES IN PROGRAMMING-LANGUAGES

被引：0

作者：

CLAYBROOK, BG ^{[1
]}

HARTSON, HR ^{[1
]}

机构：

[1] VIRGINIA POLYTECH INST & STATE UNIV,BLACKSBURG,VA 24061

来源：

JOURNAL OF SYSTEMS AND SOFTWARE | 1983年 / 3卷 / 02期

关键词：

D O I：

10.1016/0164-1212(83)90028-6

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：155 / 162

页数：8

共 50 条

[1] Specifying and reasoning about dynamic access-control policies
Dougherty, Daniel J.
Fisler, Kathi
Krishnamurthi, Shriram
[J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 632 - 646
[2] VISICOLA - A MODEL AND A LANGUAGE FOR VISIBILITY CONTROL IN PROGRAMMING-LANGUAGES
KLUG, M
[J]. SIGPLAN NOTICES, 1991, 26 (02): : 51 - 63
[3] MAINTENANCE ASPECTS OF ORTHOGONAL EXTENSIONS TO PROGRAMMING-LANGUAGES
ROTENSTREICH, S
[J]. CONFERENCE ON SOFTWARE MAINTENANCE - 1989, PROCEEDINGS, 1989, : 200 - 206
[4] DYNAMIC TEMPLATE TRANSLATORS - A NEW DEVICE FOR SPECIFYING PROGRAMMING-LANGUAGES
MASON, KP
[J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1987, 22 (3-4) : 199 - 212
[5] AN ACCESS-CONTROL LANGUAGE FOR OBJECT-ORIENTED PROGRAMMING SYSTEMS
MIZUNO, M
OLDEHOEFT, AE
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 13 (01) : 3 - 12
[6] THE INTEGRATION OF VERSION CONTROL INTO PROGRAMMING-LANGUAGES
WINKLER, JFH
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 244 : 230 - 250
[7] IMPLEMENTATION OF CONTROL IN MODERN PROGRAMMING-LANGUAGES
KUBENSKII, AA
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1984, 10 (05) : 257 - 263
[8] SUPPORTING CONTROL DEFINITION IN PROGRAMMING-LANGUAGES
COLOMBETTI, M
GUIDA, G
[J]. COMPUTER LANGUAGES, 1984, 9 (01): : 1 - 23
[9] SUPPORTING PROGRAM PORTABILITY AND RELIABILITY IN PROGRAMMING-LANGUAGES
GORELIK, AM
USHKOVA, VL
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1986, 12 (05) : 230 - 239
[10] SPECIFYING RESTRICTIONS ON IMPERATIVE PROGRAMMING-LANGUAGES FOR USE IN A DISTRIBUTED EMBEDDED ENVIRONMENT
HUTCHEON, AD
WELLINGS, AJ
[J]. SOFTWARE ENGINEERING JOURNAL, 1990, 5 (02): : 93 - 104

← 1 2 3 4 5 →