文献
J-GLOBAL ID:201702242291049676
整理番号:17A1506895
安全なアクセス制御フィルタのアスペクト指向プログラミングに基づく実装を導出するための形式的アプローチ【Powered by NICT】
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter
著者 (3件):
Mammar Amel
(SAMOVAR, Telecom SudParis, CNRS, Universite Paris-Saclay, 9 rue Charles Fourier 91011 EVRY, France)
,
Nguyen Thi Mai
(SAMOVAR, Telecom SudParis, CNRS, Universite Paris-Saclay, 9 rue Charles Fourier 91011 EVRY, France)
,
Laleau Regine
(Universite Paris-Est, LACL, UPEC, IUT Senart Fontainebleau, France)
資料名:
Information and Software Technology
(Information and Software Technology)
巻:
92
ページ:
158-178
発行年:
2017年
JST資料番号:
B0445B
ISSN:
0950-5849
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)