| |
Timothy E. Levin
Kim, J-K., Hensgen, D. A., Kidd, T., Siegel H. J.,
St. John, D., Irvine, C. E., Levin, T. E., Porter,
N. W., Prasanna, V. K., and Freund, R. F., "A
Flexible Multi-Dimensional QoS Performance Measure
Framework for Distributed Heterogeneous Systems,"
Cluster Computing, Special Issue on Cluster Computing
in Science and Engineering, accepted, to appear.
Afinidad, F., Irvine, C. E., Nguyen, T. D., and
Levin, T. E., A Time Interval Memory Protection
System, NPS-CS-06-002, Naval Postgraduate School,
Monterey, California, November 2005.
Afinidad, F., Levin, T., Irvine, C. E., and Nguyen,
T. D., "Foundation for a Time Interval Access
Control Model", Mathematical Methods, Models,
and Architectures for Computer Networks Security,
MMM-ACNS 2005, St. Petersburg, Russia, Septebmer
24-28, 2005, Proceedings, Lecture Notes in Computer
Science, ed. Vladimir Gorodetsky, Igor Kotenko,
and Victor Skormin, Springer-Verlag GmbH, Vol. 2685,
pp 406-411, St. Petersburg, Russia, Septebmer 24-28,
2005.
Benzel, T. V., Irvine, C. E., Levin, T. E., Bhaskara,
T., Nguyen, T. D., and Clark, P. C., "Design
Principles for Security", NPS-CS-05-010, Naval
Postgraduate School, Monterey, California, September
2005. (Also Available as ISI-TR-605.)
Nguyen, T. D., Levin, T. E., Irvine, C. E., "MYSEA
Testbed," Proceedings from the 6th IEEE Systems,
Man and Cybernetics Information Assurance Workshop,
West Point, NY, June 2005, pp. 438-439.
Clark, P. C., Irvine, C. E., Levin, T. E., Nguyen,
T. D., Shifflett, D. J., Miller, D., "Initial
Documentation Requirements for a High Assurance
System: Lessons Learned", Proceedings from
the 6th IEEE Systems, Man and Cybernetics Information
Assurance Workshop, West Point, NY, June 2005, pp.
434-435.
Nguyen, T. D., Levin, T. E., and Irvine, C. E.,
"TCX Project: High Assurance for Secure Embedded
Systems", 11th IEEE Real-Time and Embedded
Technology and Applications Symposium Work-In-Progress
Session, San Francisco, CA, March 2005.
Levin, T. E., Irvine, C. E., and Spyropoulou, E.,
"Quality of Security Service: Adaptive Security",
to appear in The Handbook of Information Security,
John Wiley & Sons, Inc. December 2005.
Miller, D., Levin, T. E., and Irvine, C. E., A Case
Study of Wireless Integration into an Enterprise
Network, Naval Postgraduatel School Technical Report,
NPS-CS-05-004, Naval Postgraduate School, Monterey,
CA, January 2005.
Irvine, C. E. and Levin, T. E., A Doctoral Program
with Specialization in Information Security: A High
Assurance Constructive Security Approach, Information
Security Management, Education and Privacy, ed.
Deswarte, Cuppens, Jajodia, and Wang, Kluwer Academic
Publishers, Norwell, MA, pp. 173-180, 2004.
Irvine, C. E., Nguyen, T. D., and Levin, T. E.,
A High Assurance Testbed for Multilevel Interoperability:
2004 Developments, Naval Postgraduate School Technical
Report, NPS-CS-05-002, Naval Postgraduate School,
Monterey, CA, October 2004.
Irvine, C. E., Levin, T. E., and Nguyen,T. D., Trusted
Computing Exemplar: 2004 Developments, Naval Postgraduate
School Technical Report, NPS-CS-05-001, Naval Postgraduate
School, Monterey, CA, October 2004.
Levin, T. E., Irvine, C. E., and Nguyen, T. D.,
A Least Privilege Model for Static Separation Kernels,
Naval Postgraduate School Technical Report, NPS-CS-05-003,
Naval Postgraduate School, Monterey, CA, October
2004.
Falby, N., Fulp, J.D., Clark, P., Cote, S., Irvine,
C., Dinolt, G., Levin, T., Rose, M., Shifflett,
D., "Information Assurance Capacity Building:
A Case Study", Proceedings for the Eighth Colloquium
for Information Systems Security Education, West
Point, NY, June 2004.
Irvine, C. E., Levin, T. E., Nguyen, T. D., Shifflett,
D. J., Khosalim, J., Clark, P. C., Wong, A., Afinidad,
F., Bibighaus, D., and Sears, J., "Overview
of a High Assurance Architecture for Distributed
Multilevel Security", Proceedings of the 2004
IEEE Systems, Man and Cybernetics Information Assurance
Workshop, West Point, NY, June 2004.
Irvine, C. E., Levin, T. E., Nguyen, T. D., and
Dinolt, G. W., "The Trusted Computing Exemplar
Project", Proceedings of the 2004 IEEE Systems,
Man and Cybernetics Information Assurance Workshop,
West Point, NY, June 2004, pp. 109-115.
Clark, P. C., and Levin, T. E., "A Note Regarding
Covert Channels" Proceedings from the Sixth
Workshop on Education in Computer Security, Monterey,
CA, 12-14, July 2004, pp. 11-15.
Patricia Jacobs
Refereed Journal Paper:
K. D. Glazebrook, C. Kirkbride, H. M. Mitchell,
D. P. Gaver and P. A. Jacobs, “Index policies
for shooting problems,” Accepted for publication
in Operations Research.
Book Chapters:
Gaver, D. P., Jacobs, P. A. and Seglie, E. A. “Dynamic
management of systems undergoing evolutionary acquisition”,
Chapter 14 in Mathematical and Statistical Methods
in Reliability (ed. A. Wilson, N. Limnios, S. Keller-McNulty
and Y. Armijo) Series on Quality, Reliability and
Engineering Statistics, Vol. 10, World Scientific
Publishing Co., Singapore, 2005, pp191-204.
D. P. Gaver, P. A. Jacobs, and S. Pilnick “On
minefield transit by detection, avoidance and demining,”
Chapter 16.3 in Applications of Technology to Demining,
an Anthology of Scientific Papers 1995-2005, Part
3 Naval Mine Countermeasures (ed. A. M. Bottoms
and C. Scandrett, Society for Countermine Technology,
Monterey CA) 2005.
Gaver, D. P. and P. A. Jacobs, “Stochastic
properties of peer-to-peer communication architecture
in a military setting,” To appear as Chapter
12 in Design and Operations of Communication Networks:
A Review of Wired and Wireless Modelling and Management
Challenges (ed. J. Barria), Imperial College Press,
London, UK 2006.
Conference Papers:
Gaver, D. P., Jacobs, P. A., Glazebrook, K. D. and
Seglie, E. “Reliability growth through block
upgrade,” Advances in Safety and Reliability,
K. Kolowrocki (ed.), Taylor & Francis Group,
London, UK (2005), pp. 653-659.
Gaver, D. P., Jacobs, P. A. and Seglie, E. “Modern
military evolutionary acquisition and the ramifications
of RAMS,” Naval Postgraduate School Technical
Report, NPS-OR-05-006.
Gaver, D. P. and Jacobs, P. A., “Stochastic
properties of peer-to-peer communication architecture
in a military setting,” Naval Postgraduate
School Technical Report, NPS-OR-05-007, Aug. 2005.
D. P. Gaver, P. A. Jacobs, and E. Seglie, “Stochastic
models for reliability risks in evolutionary spiral
acquisition,” Proceedings of the 4th International
Conference in Mathematical Methods in Reliability,
Santa Fe, NM, June 21-25, 2004.
D. P. Gaver, P. A. Jacobs, and E. Seglie, “Modern
military evolutionary acquisition and the ramifications
of RAMS,” Proceedings of the 27th European
Safety Reliability and Data Association Workshop,
Glasgow, Scotland, Nov 15-17, 2004.
D. P. Gaver, P. A. Jacobs. and C-C Kao, “Dynamic
adaptive epidemic models for peer-to-peer network
access,” Proceedings of the 12th International
Conference on Telecommunication Systems- Modeling
and Analysis, July 22-25, 2004, pp155-163.
D. P. Gaver, P. A. Jacobs, and S. Pilnick, “On
minefield transit by detection avoidance and demining,”
Proceedings, Third Joint Australian and American
Conference on Mine Countermeasures and Demining,
February 9-11 2004.
Technical Reports:
D. P. Gaver, P. A. Jacobs, G. Bullock, and R. Simons,
“ Models for transmission and control of bioterrorist
epidemics,” Naval Postgraduate School Technical
Report , NPS-OR-04-006, July 2004.
K. D. Glazebrook, H. M. Mitchell, D. P. Gaver and
P. A. Jacobs, “The analysis of shooting problems
via generalized bandits,” Naval Postgraduate
School Technical Report, NPS-OR-04-005, June 2004.
Conference Presentations:
Gaver, D. P., Jacobs, P. A., Glazebrook, K. D. and
Seglie, E. “Reliability growth through block
upgrade,” Invited paper, European Safety and
Reliability Conference, ESREL 2005, Gdansk, Poland,
June 27-30, 2005.
Gaver, D. P., Jacobs, P. A., Glazebrook, K. D. and
Seglie, E. “A stochastic usage model for testing
multi-stage systems,” Contributed paper, Eleventh
U. S. Army Conference on Applied Statistics, Monterey
CA Oct. 19-21, 2005.
Gaver, D. P., P. A. Jacobs. and E. Seglie, “Opportunities
at the Statistics-Operations Research Interface”,
Invited presentation, NSF Sponsored Workshop, Santa
Fe, NM, Jan. 10-12, 2004.
D. P. Gaver and P. A. Jacobs “The uncertain
time-critical tasking probability with long-tailed
demand,” Invited presentation, CORS/INFORMS
Joint International Meeting, Banff, Canada, May
16-19, 2004.
D. P. Gaver and P. A. Jacobs “Some operations
research (&/or statistics and mathematical modeling)
problems in homeland defence,” Seminar, Department
of Management, University of Canterbury, Christchurch,
NZ Feb 18, 2004 and Department of Engineering Science,
University of Auckland, Auckland, NZ Feb 16, 2004.
D. P. Gaver, P. A. Jacobs, and E. Seglie. “Probabilistic
and statistical challenges in the design and operations
of new (military) systems,” Seminar, Department
of Mathematics, University of Ireland at Galway,
Nov. 4, 2004.
D. P. Gaver, P. A. Jacobs, and E. Seglie, “Modern
military evolutionary acquisition and reliability
growth,” Invited presentation, National Academy
of Sciences Workshop, Washington, DC, Dec 12-13,
2004.
Donna Miller
Miller, D., Levin, T. E., and Irvine, C. E., A Case
Study of Wireless Integration into an Enterprise
Network, Naval Postgraduatel School Technical Report,
NPS-CS-05-004, Naval Postgraduate School, Monterey,
CA, January 2005.
Clark, P. C., Irvine, C. E., Levin, T. E., Nguyen,
T. D., Shifflett, D. J., Miller, D., "Initial
Documentation Requirements for a High Assurance
System: Lessons Learned", Proceedings from
the 6th IEEE Systems, Man and Cybernetics Information
Assurance Workshop, West Point, NY, June 2005, pp.
434-435.
Thuy D. Nguyen
Afinidad, F., Irvine, C. E., Nguyen, T. D., and
Levin, T. E., A Time Interval Memory Protection
System, NPS-CS-06-002, Naval Postgraduate School,
Monterey, California, November 2005.
Afinidad, F., Levin, T., Irvine, C. E., and Nguyen,
T. D., "Foundation for a Time Interval Access
Control Model", Mathematical Methods, Models,
and Architectures for Computer Networks Security,
MMM-ACNS 2005, St. Petersburg, Russia, September
24-28, 2005, Proceedings, Lecture Notes in Computer
Science, ed. Vladimir Gorodetsky, Igor Kotenko,
and Victor Skormin, Springer-Verlag GmbH, Vol. 2685,
pp 406-411, St. Petersburg, Russia, Septebmer 24-28,
2005.
Benzel, T. V., Irvine, C. E., Levin, T. E., Bhaskara,
G., Nguyen, T. D., and Clark, P. C., "Design
Principles for Security", NPS-CS-05-010, Naval
Postgraduate School, Monterey, California, September
2005. (Also Available as ISI-TR-605.)
Nguyen, T. D., Levin, T. E., Irvine, C. E., "MYSEA
Testbed," Proceedings from the 6th IEEE Systems,
Man and Cybernetics Information Assurance Workshop,
West Point, NY, June 2005, pp. 438-439.
Clark, P. C., Irvine, C. E., Levin, T. E., Nguyen,
T. D., Shifflett, D. J., Miller, D., "Initial
Documentation Requirements for a High Assurance
System: Lessons Learned", Proceedings from
the 6th IEEE Systems, Man and Cybernetics Information
Assurance Workshop, West Point, NY, June 2005, pp.
434-435.
Dodge, C., Irvine, C.E., and Nguyen, T., "A
Study of Initialization in Linux and OpenBSD",
ACM SIGOPS Operating Systems Review, Vol. 39, Issue
2, pp. 79-93, April 2005.
Nguyen, T. D., Levin, T. E., and Irvine, C. E.,
"TCX Project: High Assurance for Secure Embedded
Systems", 11th IEEE Real-Time and Embedded
Technology and Applications Symposium Work-In-Progress
Session, San Francisco, CA, March 2005.
Irvine, C. E., Nguyen, T. D., and Levin, T. E.,
A High Assurance Testbed for Multilevel Interoperability:
2004 Developments, Naval Postgraduate School Technical
Report, NPS-CS-05-002, Naval Postgraduate School,
Monterey, CA, October 2004.
Levin, T. E., Irvine, C. E., and Nguyen, T. D.,
A Least Privilege Model for Static Separation Kernels,
Naval Postgraduate School Technical Report, NPS-CS-05-003,
Naval Postgraduate School, Monterey, CA, October
2004.
Irvine, C. E., Levin, T. E., and Nguyen,T. D., Trusted
Computing Exemplar: 2004 Developments, Naval Postgraduate
School Technical Report, NPS-CS-05-001, Naval Postgraduate
School, Monterey, CA, October 2004.
Irvine, C. E., Levin, T. E., Nguyen, T. D., Shifflett,
D. J., Khosalim, J., Clark, P. C., Wong, A., Afinidad,
F., Bibighaus, D., and Sears, J., "Overview
of a High Assurance Architecture for Distributed
Multilevel Security", Proceedings of the 2004
IEEE Systems, Man and Cybernetics Information Assurance
Workshop, West Point, NY, June 2004.
Irvine, C. E., Levin, T. E., Nguyen, T. D., and
Dinolt, G. W., "The Trusted Computing Exemplar
Project", Proceedings of the 2004 IEEE Systems,
Man and Cybernetics Information Assurance Workshop,
West Point, NY, June 2004, pp. 109-115.
|
|
|
