首页
网站开发
桌面应用
管理软件
微信开发
App开发
嵌入式软件
工具软件
数据采集与分析
其他
首页
>
> 详细
代写DSCI 525、Python/c++程序设计代做
项目预算:
开发周期:
发布时间:
要求地区:
DSCI 525 Semester Project
Spring 2024
Completion of the semester project is to be an independent, individual effort for each student.
Communication with fellow students for this assignment, attempting to benefit from work of another
student, past or present and similar behavior that defeats the intent of an assignment is unacceptable to the
University. Such behavior will be treated as a violation of USC academic integrity standards, which are
summarized in the on-line tutorial available at
http://www.usc.edu/libraries/about/reference/tutorials/academic_integrity/index.php
Nature of the assignment
The purpose of this project is to compare and contrast two trusted system requirement models and two
implementations.
The first requirement model is the Trusted Network Interpretation (TNI). The implementation case study
of TNI is the Gemini Trusted Network Processor (GTNP). The TNI requirements and GTNP
implementation represent a reference monitor concept-based approach that is referred to as a traditional
security kernel (SK). The second requirement model is the Separation Kernel Protection Profile. The
implementation case study of SKPP is the Green Hills Software (GHS) INTEGRITY-178B (I-178B). The
SKPP requirements and I-178B implementation represent a variation of the reference monitor concept
instituted in a separation kernel.
In not less than 10 and no more than 20 pages prepare a report in PDF format with a font size 12, single
column, single spaced. There are no other specific requirements related to the formatting of your report.
Figures, tables, and the like are not included in the 20-page maximum page count. There is no penalty for
exceeding the limit, however text beyond the 20-page limit will not be considered in grading. Submit the
report in electronic form on USC D2L.
Description of the semester project
Based on information you gather and review, you are to report your research and analysis on the following
topics:
1. How SKPP evaluation requirements [4] line up against the TCSEC/TNI security kernel evaluation
requirements. This project should focus on the requirements for TNI Mandatory Only
Components (M-Components), as codified in TNI Sections 4.1.1 (Policy) and A.3.1 (M-Comp).
The associated 25 RVM evaluation factors are detailed in extracts from the TNI (which includes
TCSEC requirements outlined in [1]). Given the constrained length of the project report, this
analysis should be brief and concise conclusions for each of the 25 RVM evaluation factors,
referring to the factors by name without wasting space repeating the text of the requirements.
Be specific, include concrete references to the parts of the reviewed documents to support your
arguments.
2. Relative strengths and weaknesses of design and development techniques in separation kernel and
specifically INTEGRITY-178B product as compared and contrasted to those in the GEMSOS
security kernel, including a comparison of the respective kernel APIs and hardware requirements.
Note that you should be informed by the GEMSOS Final Evaluation Report (FER) [2], Green Hills
Software INTEGRITY-178B Separation Kernel Security Target document [5], and Common
Criteria Evaluation and Validation Scheme Validation Report [3].
3. Finally, based on all the above you are to provide final conclusions on the suitability of these two
products for deployment in the face of a witted adversary intent to violate the allocated policies.
In your report you should particularly concentrate on the problem of subversion and how it is addressed
in both cases.
References (available on Piazza in Resources)
Your analysis is to be based on a thorough review and understanding of reference material from the
published literature that includes, but is not limited to the following:
[1] An extract from the Trusted Network Interpretation (TNI) of the “Security Requirements for a Class
A1 M-Component”. (A1M)
[2] Final Evaluation Report, Gemini Computers, Incorporated, Gemini Trusted Network Processor,
National Computer Security Center, 28 June 1995. (FER)
[3] Common Criteria Evaluation and Validation Scheme Validation Report “Green Hills Software INICR750-0402-GH01_Rel INTEGRITY-178B Separation Kernel”, version 0.5, 31 January 2011.
(Integrity-178B-VR)
[4] U.S. Government Protection Profile for Separation Kernels in Environments Requiring High
Robustness (SKPP), Version 1.03, 29 June 2007. (SKPP)
[5] Green Hills Software INTEGRITY-178B Separation Kernel Security Target, Version 4.2, May 31,
2010. (Integrity-178B-ST)
Grading
The total of 100 points for the project will be allocated as follows:
1. [50 points] Systematic comparison between these security requirements models and
implementations, using the TNI evaluation factors as the vehicle for comparison.
2. [20 points] Discussion of how subversion is addressed in both cases.
3. [20 points] Discussion of the relative strengths and weaknesses of these two design and
implementation techniques.
4. [10 points] Conclusions - a per-factor consensus on the compatibility between the requirement
models and their respective implementations.
软件开发、广告设计客服
QQ:99515681
邮箱:99515681@qq.com
工作时间:8:00-23:00
微信:codinghelp
热点项目
更多
代写dts207tc、sql编程语言代做
2024-12-25
cs209a代做、java程序设计代写
2024-12-25
cs305程序代做、代写python程序...
2024-12-25
代写csc1001、代做python设计程...
2024-12-24
代写practice test preparatio...
2024-12-24
代写bre2031 – environmental...
2024-12-24
代写ece5550: applied kalman ...
2024-12-24
代做conmgnt 7049 – measurem...
2024-12-24
代写ece3700j introduction to...
2024-12-24
代做adad9311 designing the e...
2024-12-24
代做comp5618 - applied cyber...
2024-12-24
代做ece5550: applied kalman ...
2024-12-24
代做cp1402 assignment - netw...
2024-12-24
热点标签
mktg2509
csci 2600
38170
lng302
csse3010
phas3226
77938
arch1162
engn4536/engn6536
acx5903
comp151101
phl245
cse12
comp9312
stat3016/6016
phas0038
comp2140
6qqmb312
xjco3011
rest0005
ematm0051
5qqmn219
lubs5062m
eee8155
cege0100
eap033
artd1109
mat246
etc3430
ecmm462
mis102
inft6800
ddes9903
comp6521
comp9517
comp3331/9331
comp4337
comp6008
comp9414
bu.231.790.81
man00150m
csb352h
math1041
eengm4100
isys1002
08
6057cem
mktg3504
mthm036
mtrx1701
mth3241
eeee3086
cmp-7038b
cmp-7000a
ints4010
econ2151
infs5710
fins5516
fin3309
fins5510
gsoe9340
math2007
math2036
soee5010
mark3088
infs3605
elec9714
comp2271
ma214
comp2211
infs3604
600426
sit254
acct3091
bbt405
msin0116
com107/com113
mark5826
sit120
comp9021
eco2101
eeen40700
cs253
ece3114
ecmm447
chns3000
math377
itd102
comp9444
comp(2041|9044)
econ0060
econ7230
mgt001371
ecs-323
cs6250
mgdi60012
mdia2012
comm221001
comm5000
ma1008
engl642
econ241
com333
math367
mis201
nbs-7041x
meek16104
econ2003
comm1190
mbas902
comp-1027
dpst1091
comp7315
eppd1033
m06
ee3025
msci231
bb113/bbs1063
fc709
comp3425
comp9417
econ42915
cb9101
math1102e
chme0017
fc307
mkt60104
5522usst
litr1-uc6201.200
ee1102
cosc2803
math39512
omp9727
int2067/int5051
bsb151
mgt253
fc021
babs2202
mis2002s
phya21
18-213
cege0012
mdia1002
math38032
mech5125
07
cisc102
mgx3110
cs240
11175
fin3020s
eco3420
ictten622
comp9727
cpt111
de114102d
mgm320h5s
bafi1019
math21112
efim20036
mn-3503
fins5568
110.807
bcpm000028
info6030
bma0092
bcpm0054
math20212
ce335
cs365
cenv6141
ftec5580
math2010
ec3450
comm1170
ecmt1010
csci-ua.0480-003
econ12-200
ib3960
ectb60h3f
cs247—assignment
tk3163
ics3u
ib3j80
comp20008
comp9334
eppd1063
acct2343
cct109
isys1055/3412
math350-real
math2014
eec180
stat141b
econ2101
msinm014/msing014/msing014b
fit2004
comp643
bu1002
cm2030
联系我们
- QQ: 9951568
© 2021
www.rj363.com
软件定制开发网!