首页
网站开发
桌面应用
管理软件
微信开发
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
热点项目
更多
data程序代写、代做c/c++编程语...
2024-05-17
data程序代写、代做python编程...
2024-05-17
program代做、c/c++,python程...
2024-05-17
代写math 3333 3.0 - winter 2...
2024-05-17
代做seng6110 programming ass...
2024-05-17
代写seng6110 object oriented...
2024-05-17
代写comp828: statistical pro...
2024-05-17
代做culture and society调试数...
2024-05-17
代做comp 4911 winter 2024 as...
2024-05-17
代做lh physical iiib / 03 33...
2024-05-17
代做3032ict big data analyti...
2024-05-17
代写comp4702 report代写留学生...
2024-05-17
代写fin2020 hw6代写c/c++编程
2024-05-17
热点标签
fit2004
fit3152
mec208
econ20120
cpt304
econ2101
econ0051
engi4547
econ1048
eengm2510
fit1008
7033mkt
ec2066
cct380h5f
man00019m
mech265001
fin2020
fit9137
n1542
csc4140
math6119
comp1710
fina864
csys5020
busi4412
math5007
2702ict
dts204tc
comp2003j
cosc2673
ecmt2150
bff3121–
comu7000
stat6118
comp814
acc202
ematm0067
bit233
ecs776p
600543
bpln0025
comp3400
econ7030
159.342 ‐ operating
mang6134
math1005/math6005
geog5404m
comp1710/6780
infs 2042
inf6028
bman30702
math0002
msci242l
mgt11001
com00177m
bman71282
fit2001
cpt210
159.341
econ7310
comp3221
comp10002
cpt206
ecmt1010
finm081
econ2005
cpt202
fit3094
socs0030
data7201
data2x01
mn-3507
mat246h1
ib2d90
ib3j80
acc207
comp90007
compx518-24a
fit1050
info1111
acct2201
buad801
compsci369
cse 332s
info1110
math1033
scie1000
eeee2057
math4063
cmt219
econ5074
eng5009
csse2310/csse7231
ec333
econ0001
cpt204
elec4630
ma117
dts104tc
comp2017
640481
csit128
eco000109m
finc5090
ggr202h5f
nbs8295
4ssmn902
chc6171
dsa1002
ebu6304
comp1021
csci-ua.202
com6511
ma416
mec206
iom209
bism7202
idepg001
cpt106
comp1212
ecom209
math1062
mn-3526
fnce3000
fmhu5002
psyc10003
fina2222
be631-6-sp/1
finc2011
37989
5aaob204
citx1401
econ0028
bsan3204
comp9123
cmt218
itp122
qbus6820
ecmt1020
bus0117
soft3202/comp9202
basc0057
mecm30013
aem4060
acb1120
comp2123
econ2151
ecmt6006
inmr77
com 5140
ocmp5328
comp1039
had7002h
cmt309
asb-3715
elec373
cpt204-2324
be631-6-sp
econ3016
mast10007
buss6002
comp4403
comp30023
finm1416
csc-30002
6qqmn971
fin668
mnfg309
inft2031
cits1402
comp2011
eecs 3221
ebu4201
ct60a9600
com336
8pro102
econ7300
comp3425
comp8410
comp222
finm8007
comp2006
comp26020
comp1721
eeen3007j
cis432
csci251
comp5125m
com398sust
finm7405
econ7021
fin600
infs4205/7205
mktg2510-
32022
mth6158
comp328
finn41615
2024
mec302
联系我们
- QQ: 9951568
© 2021
www.rj363.com
软件定制开发网!