出版物
- J. 阿尔维斯-福斯和J. Song. DARPA网络大挑战:竞争者视角，第2部分. IEEE安全与隐私，2016年1月/ 2月. 10.1109/MSP.2016.14
- L. Kerr and J. Alves-Foss. “结合强制访问控制和基于属性的访问控制”. 2016年第49届夏威夷系统科学国际会议. 10.1109/HICSS.2016.328
- J. Guild. 网络系统的评估方法与模型. 2016. In process.
- A. 吉尔帕利和D. 莱昂伯爵. 面向策略的Web浏览器管理系统体系结构:HiFiPol: Browser. STPSA研讨会论文集，IEEE COMPSAC 2016. 4月7日出版.
- A. 吉尔帕利和D. 莱昂伯爵. HERMES:用于高粒度企业级安全浏览器配置管理的高级策略语言, 信息安全, HICSS 2017的隐私和政策迷你专场.
- A. 吉尔帕利和D. 莱昂伯爵. 跨层串行模块体系结构的PCO威胁检测与预防. 网络安全研讨会:您的安全，您的未来2016:编辑文集卷.
- A. Jillepalli. 面向策略的Web浏览器管理系统:HiFiPol: Browser. 硕士论文，bet365亚洲官网，莫斯科.
- L. Kerr. UI标签:Office Open XML中的机密性. 网络安全 2015. 10.1007/978-3-319-28313-5_2
- J. Alves-Foss J. Song, A. S. Amack, L. Kerr和S. Steiner. 评估安全标签在安全策略执行机制中的使用. 2015年第48届夏威夷国际系统科学会议. 10.1109/HICSS.2015.614
- J. Song and J. Alves-Foss. 使用安全标签将RTEMS扩展为多用户系统. 2015网络安全. 10.1007/978-3-319-28313-5_1
- K. Haltinner D. Sarathchandra和N. ·利希滕贝格. “我能活吗?”? 大学生对网络空间风险、安全和隐私的认知. 2015网络安全. 10.1007/978-3-319-28313-5_6
- K. Chang, K. Haltinner和R. Scott. “安全使用技术如何影响小学生上下学出行”. 2015网络安全. 10.1007/978-3-319-28313-5_7
- J. Alves-Foss J. Song, S. 斯坦纳和S. Zakeri. “支持多个独立安全级别的安全标记架构硬件的新操作系统”. 空军研究实验室2014. View PDF
- L. D. VanGundy. 虚拟网络中网卡混杂模式检测方法分析. 2014. Website
- D. Drobny. 为法医研究创建高度专业化的碎片文件系统数据集. 2014. Website
- X. Yang, N. 桑和J. Alves-Foss. “缩短Android系统启动时间”. IEEE 2014. 10.1109/MC.2013.264
- S. Zakeri. 修改SPARC指令模拟器(SIS)以支持实验标记. 2014. Website
- J. Son and J. Alves-Foss. 混合实时调度算法的安全性/性能权衡. 商业研究，2014.
- T. R. Rice. 工业控制系统网络取证跨学科方法的发展. 2014. Website
- M. Rounds. 定义信息系统背景下的攻击者行为模式. May 2014. 10.13140/2.1.3234.8485
- J. 阿尔维斯-福斯和P. Oman. “已知的未知”. IEEE 2013年9月/ 10月. 10.1109/MSP.2013.125
- J. 宋*及J. Alves-Foss. 零内核操作系统的安全标记. HICSS 2013. 10.1109/HICSS.2013.474
- X. 杨*及J. Alves-Foss. “安全策略细化:高层规范到低层实现”. 帕萨特2013. Website
- L. Kerr*和J. Alves-Foss. 在多层XM中保持机密性. 信息系统学报(英文版)14:1 (224-233)2013. Website
- J. 宋*及J. Alves-Foss. 增强操作系统安全性的硬件安全标签. 信息系统学报(英文版)，2014. Website
- K. 克劳斯和J. Alves-Foss. 《365bet中文》. NASA正式方法2013. 10.1007/978-3-642-38088-4_36
- M. Rounds, N. Pendegraft，和J. Alves-Foss. “一项探索攻击者对安全和奖励变化反应的实验研究”. IEEE 2012. 10.1109/HICSS.2013.84
- J. 宋*及J. Alves-Foss. “零复制技术的性能回顾”. 雅6:4 2012. No website
- B. 伦丁和J. Alves-Foss. “实用点击劫持与牛肉”. IEEE 2012. 10.1109/THS.2012.6459919
- D. Wnuk and J. Alves-Foss. “保护数据库即服务检讨及总结”. 2011. No website
- T. Vollmer *,米. 狂躁，和J. Alves-Foss. 入侵检测的自治规则创建. 2011年IEEE网络安全计算智能研讨会. 10.1109 / CICYBS.2011.5949394
- X. He and J. Alves-Foss. 用于Intel64架构安全分析的轻量级虚拟机监视器. 高校计算机科学联合会2011. No website
- R. Bradetich P. Oman, J. 阿尔维斯-福斯和T. Rice. 评估多核架构在高保证系统中的应用. 2011. Web
- J. Alves-Foss X. He, and J. Song. 多核体系结构的分层保证方案. 2011.
- J. Smith*, X. He*, and J. Alves-Foss. “蜂窝宽带引擎处理器的安全审查”. HICCS 2010. 10.1109/HICSS.2010.31
- J. Conrad*, J. 阿尔维斯-福斯和S. Lee. 用TG/MC分析TG保护图的不确定度. 计算机安全学报，2010. Website
- D. Manz*, J. 阿尔维斯-福斯和P. 一个独立于视图同步的组密钥管理协议评估框架, 计算机科学杂志, 6(30):229-234, March 2010. No website
- P. Oman, R. Bradetich J. 阿尔维斯-福斯和J. Smith. 面向实时控制的弹性多核架构. IRCS 2010年8月. 10.1109/ISRCS.2010.5603488
- J. 阿尔维斯-福斯和W. Vanfleet. “准时保证”. UI 2010. No website
- M. Wilder, R. Rinker, J. Alves-Foss. “高风险计算应用的自动抢占式硬件隔离”. 2010. Website
- C. *和J. Alves-Foss. 无线传感器网络中受损节点的有效检测. 传感器网络与应用国际会议，2009年11月. 10.1145/1639809.1639908
- J. Son* and J. Alves-Foss. 实时信息流分析的正式框架，计算机 & Security”. 28(6):421-432, 2009. 10.1016/j.cose.2009.01.005
- J. 阿尔维斯-福斯和P. Oman. 网络认证协议研究. 国防高级研究计划局2009年. No website
- P. Cravens和P. Oman. 使用NS-2建模NAJPTC网络. 国际关键基础设施保护杂志，上海. 1(4), 2008. 10.1016/j.ijcip.2008.08.002
- P. Cravens和P. Oman. 使用NS-2建模ATCS网络. 关键基础设施保护II， (M). Papa & S. Shenoi, eds.) 2008年3月.
- L. A. Wahsheh, D. 莱昂伯爵和J. Alves-Foss. “安全策略的形式化验证和可视化”. 计算机学报，3(6):22-31,2008. 10.4304/jcp.3.6.22-31
- L. A. 沃什和J. Alves-Foss. 安全策略发展:迈向生命周期和基于逻辑的验证模型. 应用科学学报，5(9):1117-1126,2008. 10.3844 / ajassp.2008.1117.1126
- H. Wei, J. Alves-Foss. T. Soule, H. Pforsich D. 张和D. Frincke. 基于分层决策模型的高性价比网络防御设计. 信息技术与应用，2011 (3):1 - 7. 10.1109 / IRI-05.2005.1506524
- J. Zhou and J. Alves-Foss. 安全计算机系统设计中的安全策略完善和执行. 计算机安全学报，16(2):107-131,2008. 10.3233 / jcs - 2008 - 16202
- C. Masuck, J. 阿尔维斯-福斯和P. Oman. 《bet365亚洲官网》. 生物化学学报，40(2):79-83,2008. 10.1145/1383602.1383640
- R. 布拉迪奇和P. Oman. “使用安全增强型Linux将SCADA系统连接到企业IT网络”. 西部电力输送自动化会议2008. No website
- D. Manz*, J. 阿尔维斯-福斯和S. Zheng*. 组密钥管理协议的网络仿真. 信息安全与安全学报1 (67-79)2008. Website
- J. 罗宾逊和J. Alves-Foss. “高保证MLS文件服务器”. 2007. 10.1145/1228291.1228303
- D. 莱昂伯爵*，J. 阿尔维斯-福斯和P. Oman. “面向实现的安全架构”. HICCS 2007. 10.1109/HICSS.2007.264
- J. 罗宾逊* W. 哈里森* N. Hanebutte * P. 阿曼和J。. Alves-Foss. 实现内容过滤和信息流控制的中间件. 2007. 10.1145/1314466.1314474
- L. Wahsheh*和J. Alves-Foss. 高保证计算机系统中无线组件的策略安全. 计算机科学学报(英文版)，2007. 10.3844/jcssp.2007.726.735
- H. Wei*, J. Alves-Foss D. 张和D. Frincke. 网络防御分层决策模型的合理性验证. 2007. 10.1109/IRI.2007.4296602
- L. 沃什和J. Alves-Foss. “在基于分离的高保障架构中使用策略实施图”. IEEE国际会议(182-187)2006. 10.1109/IRI.2007.4296618
- D. Yu. 一种新的入侵检测系统预警关联与置信度融合框架. 2006. Website
- S. Zheng*, J. 阿尔维斯-福斯和S. Lee. “再平衡对组密钥协议性能的影响”. IEEE LCN网络安全研讨会2006年11月. 10.1109/LCN.2006.322212
- D. 莱昂伯爵*和J. Alves-Foss. 高保证和关键计算系统中隐藏的实现依赖. IEEE软件工程学报, 32(10):790-8112006年10月. 10.1109/TSE.2006.103
- J. 周*及J. Alves-Foss. 安全计算机系统设计中基于体系结构的改进. Proc. 政策、安全和信任2006年11月. 10.1145/1501434.1501453
- B. 王*及J. Alves-Foss. 在恶意环境中加强机密性的MSLS-EMM. 国际会议. 通讯、网络及资讯保安(CNIS 2006), 2006年10月. Website
- J. Son* and J. Alves-Foss. MLS系统中速率单调实时调度算法的隐时信道容量. 国际会议. 通讯、网络及资讯保安(CNIS 2006)2006年10月. 10.1109/IAW.2006.1652117
- H. Wei* and J. Alves-Foss. 分层决策模型在基于语言的安全系统设计中的应用. 出现在 Proc. IEEE信息重用与集成国际会议2006年9月. 10.1109/IRI.2006.252410
- L. 沃什和J. Alves-Foss. 为高保证嵌入式系统指定和实施多策略范例. 高速网络杂志2006年10月. Website
- J. Son* and J. Alves-Foss. MLS系统中速率单调实时调度算法的隐蔽时序信道分析. In Proc. IEEE信息保障研讨会2006年6月. 10.1109/IAW.2006.1652117
- C. Taylor, J. 阿尔维斯-福斯和V. Freeman. “CNSS标准的学术视角:综述”. In Proc. 10th 资讯系统安全教育研讨会2006年6月. No website
- S. Zheng*, D. Manz*和J. Alves-Foss. 面向大型动态群的高效通信计算群密钥算法. 计算机网络学报, 51(1):69-93, 2007. 10.1016/j.comnet.2006.03.008
- S. Zheng*, D. Manz*, J. 阿尔维斯-福斯和Y. Chen. 组密钥协议的安全性和性能. In Proc. 网络和通信系统2006年3月. Website
- B. Rossebo * P. Oman, J. Alves-Foss R. 蓝色*和P. Jaszkowiak *. 使用Spark-Ada建模和验证mls消息路由器. In Proc. 安全软件工程国际研讨会2006年3月. No website
- W. S. 哈里森,N. Hanebutte和J. Alves-Foss. 互联网时代的编程教育:范式转变. 2006. 10.1109/HICSS.2006.395
- J. Graham*和J. Alves-Foss. 具有容量和安全约束的分布式面向对象数据库的有效分配. 国际不确定性、模糊性与知识系统杂志, 2007. Website
- J. Alves-Foss W. S. 哈里森,P. 阿曼和C. Taylor. 面向高保证嵌入式系统的MILS体系结构. 国际嵌入式系统杂志, 2005. 10.1504/IJES.2006.014859
- S. Zheng*, J. 阿尔维斯-福斯和S. Lee. 多操作组密钥协议的性能. In Proc. 并行和分布式计算与系统(PDCS 2005)，二零零五年十一月. Website
- S. Zheng*, J. 阿尔维斯-福斯和S. Lee. “群密钥管理算法在多操作下的平均性能研究” Proc. 国际通讯、互联网及资讯科技会议(CIIT 2005)， 2005年10月. Website
- W. S. 哈里森,N. Hanebutte P. Oman and J. Alves-Foss. 面向安全全球信息网格的MILS体系结构. 《365bet中文》科学通报，18(10):20-24,2005年10月. Website
- N. 阿,Hanebutte. Oman, P. M. Loosbrock *,. 荷兰* W. S. 哈里森和J。. Alves-Foss. 无边界环境中透明通道控制的软件中介器. In Proc. IEEE信息保障研讨会， 2005年6月，页. 201-206. 10.1109/IAW.2005.1495953
- C. 泰勒和J. Alves-Foss. “资讯保障课程标准的必要性”. In Proc. 第九届资讯系统安全教育研讨会， 2005年6月，页. 67-74. No website
- J. Alves-Foss. 使用MILS高保证架构实现安全应用程序. In Proc. 软件技术会议，二零零五年四月.
- H. Wei, D. Frincke, J. Alves-Foss T. 和H. Pforsich. 一种具有成本效益的网络防御分层决策模型. IEEE 2005. 10.1109 / IRI-05.2005.1506524
- C. Taylor*和J. Alves-Foss. “多样性作为计算机防御机制:一个小组”. NSPW 2005. 10.1145/1146269.1146275
- J. 阿尔维斯-福斯和C. Taylor. “GWV安全政策分析”. In Proc. ACL2车间2004年11月. Website
- T. Song*, C. Ko, J. 阿尔维斯-福斯和K. Levitt. 入侵检测系统的形式化推理. In Proc. RAID， 2004年9月，页. 278-295. 10.1007/978-3-540-30143-1_15
- P. Oman, A. Krings, D. 莱昂伯爵*和J. Alves-Foss. 实时控制系统的安全性和生存性分析. In IEEE系统，人与控制论信息保障研讨会， 2004年6月，页. 342-349. 10.1109/IAW.2004.1437837
- J. Alves-Foss C. Taylor*和P. Oman. “高保障系统的多层保安方法”. In Proc. 夏威夷系统科学国际会议2004年1月. 10.1109/HICSS.2004.1265709
- D. 莱昂伯爵*和J. Alves-Foss. “语义增强需求规范的处理与链接实验”. In Proc. 夏威夷系统科学国际会议2004年1月. 10.1109/HICSS.2004.1265657
- H. Lee*, J. 阿尔维斯-福斯和W. S. Harrison. “使用加密功能保障移动代理的安全”. In Proc. 夏威夷系统科学国际会议2004年1月. 10.1109/HICSS.2004.1265700
- H. Lee*, J. 阿尔维斯-福斯和W. S. Harrison. “通过评估加密功能来保护移动代理”. 网络智能和代理系统, Vol. 2(1):1-19, 2004.
- S. Malladi. 《bet365亚洲官网》. 2004. Website
- C. Taylor. 关键计算机系统的生存能力技术. 2004. Website
- H. Lee, J. 阿尔维斯-福斯和S. Harrison. “通过评估加密函数构建安全移动代理”. 2004. Website
- J. Graham*和J. Alves-Foss. 面向对象的分布式数据库的有效分配. Proc. 并行与分布式计算系统国际会议(PDCS 2003)2003年8月，拉斯维加斯. 10.1080/1206212X.2006.11441786
- T. Song*, J. Alves-Foss C. Ko, C. 张和K. Levitt. 《365bet中文》. In Proc. ACL2工作坊2003，博尔德，2003年7月. Website
- Sreekanth Malladi*和J. Alves-Foss. 如何防止密码协议的类型漏洞猜测攻击. Proc. 计算机安全基础，渥太华，2003年6月.
- J. Dai* and J. Alves-Foss. “正式授权策略模型”. Proc. 软件工程研究 & 应用程序(SERA '03)2003年6月. Website
- R. Corin*, S. Malladi *, J. 阿尔维斯-福斯和S. Etalle. “你猜怎么着? 这是一个发现一些新的猜测攻击的新工具。”. In Proc. 安全理论问题研讨会(WITS '03)，华沙，2003年3月. Website
- C. Taylor*和J. Alves-Foss. 针对系统生存能力的攻击识别:一种低级方法. Proc. 第36届夏威夷系统科学国际会议(CD/ROM)计算机社会出版社，2003. 10.1109/HICSS.2003.1174912
- C. Taylor*, A. Krings和J. Alves-Foss. 风险分析和概率生存能力评估(RAPSA):一种变电站加固评估方法. Proc. of SACT, 2002年11月. No website
- D. 莱昂伯爵，J. Alves-Foss,. 克林斯和P. Oman. 建模复杂控制系统以识别易受网络攻击的远程可访问设备. Proc. of SACT2002年11月. Website
- C. 泰勒和J. Alves-Foss. NATE的实证分析:异常交通事件的网络分析. 新安全范例研讨会， 2002年9月. 10.1145/844102.844106
- J. Dai and J. Alves-Foss. 基于逻辑的授权策略工程. Proc. 第六届世界系统、控制论与信息学会议， 2002年7月，pp. 230-238. Website
- S. Malladi, J. Alves-Foss和Sreenivas Malladi. “什么是猜测攻击以及如何防止它们?” Proc. 第七届国际企业安全研讨会， June 2002. (最佳论文奖) 10.1109/ENABL.2002.1029992
- S. Malladi, J. 阿尔维斯-福斯和R. Heckendorn. 《bet365亚洲官网》. Proc. 安全与管理国际会议， 2002年6月，pp. 77-83. Website
- S. 马拉迪和J. Alves-Foss. “利用指纹生物识别技术防止猜测攻击”. Proc. 安全与管理国际会议， 2002年6月，pp. 215-221. Website
- C. Taylor, J. 阿尔维斯-福斯和B. Rinker. “安全与保证的融合:软件双重认证的过程”. Proc. 软件技术会议， April 2002. Website
- J. Alves-Foss Bob Rinker和C. Taylor. 符合DO-178B标准的机载软件系统通用标准认证. 2002年1月. Website
- J. Alves-Foss D. 莱昂伯爵和P. Oman. 使用XML增强面向对象设计规范与源代码之间可追溯性的实验. Proc. 第35届夏威夷系统科学国际会议， 2002年1月，pp. 3592-3599. 10.1109/HICSS.2002.994466
- J. Alves-Foss B. Rinker, M. Benke*, J. 马歇尔* P. O’connell *和C. Taylor*. 多分区系统安全策略的形式化建模. 2002. Website
- J. Alves-Foss B. Rinker, M. Benke*, J. 马歇尔* P. O’connell *和C. Taylor*. 爱达荷分区机:ACL2模型. 2002年11月. Website
- A. Al-Muhaitheef. 移动防火墙自定义代理——分布式防火墙架构. 2002. Website
- J. Dai and J. Alves-Foss. “基于证书的授权仿真系统”. Proc. 二零零一年电脑软件及应用研讨会. 2001年10月，pp. 190-195. 10.1109 / CMPSAC.2001.960616
- C. 泰勒和J. Alves-Foss. 网络分析的异常交通事件，一个低成本的方法". Proc. 新安全范式研讨会. 2001年9月，第89-96页. 10.1145/508171.508186
- M. R. 福尔摩斯和J. Alves-Foss. 《bet365亚洲官网》. 自动推理杂志，第26卷(4)，2001年5月，页. 357-408. 10.1023/A:1010652212067
- B. 阮兰德T. Soule, J. Foster, J. Alves-Foss. “量子进化规划”. 2001. Website
- J. Alves-Foss. 大型动态组的一种高效安全组密钥交换算法. Proc. 第二十三届全国信息系统安全会议， 2000年10月. Website
- J. Alves-Foss. 加密协议工程:从组向上构建安全性. In Proc. 2000年国际互联网计算会议 2000年6月，pp. 371-377. Website
- C. Taylor*和J. Alves-Foss. “低成本网络入侵检测”. 2000. No website
- B. 阮兰德T. Soule, J. 福斯特和J。. Alves-Foss. 量子遗传算法. 2000. Website
- J. Alves-Foss. 可证明不安全的相互认证协议:两方对称加密情况. Proc. 第二十二次全国信息系统安全会议， 1999年10月. Website
- A. E. K. 索贝尔和J. Alves-Foss. “基于追踪的中国长城安全政策模型”. Proc. 第二十二次全国信息系统安全会议， 1999年10月. Website
- J. 阿尔维斯-福斯和D. Frincke. Java的形式语法. In J. Alves-Foss (ed) Java的形式语法和语义， LNCS #1523 pp. 1999年6月1-40日. Website
- J. 阿尔维斯-福斯和F.S. Lam. Java的动态指称语义. In J. Alves-Foss (ed) Java的形式语法和语义. LNCS #1523 pp. 1999年6月，201-240. Website
- J. Alves-Foss G. Goos, J. 哈特曼尼斯和J. van Leeuwen. Java的形式语法和语义-计算机科学课堂讲稿1523- 1999. 1999. Website
- J. Alves-Foss. 多协议攻击和公开密钥基础设施. Proc. 第21届全国信息系统安全会议， 1998年10月，页. 566-576. Website
- J. Alves-Foss. 量子技术对安全的影响. Proc. 第21届全国信息系统安全会议 1998年10月，pp. 196-202. Website
- J. Alves-Foss. “安全系统的架构”. Proc. 第31届夏威夷系统科学国际会议， 1998年1月，第307-316页. 10.1109/HICSS.1998.656293
- J. Alves-Foss. SNIF概述:测量网络信息流的工具. 1995. 10.1109/NDSS.1995.390642
- J阿尔维斯-福斯和S. Barbosa. “评估电脑保安漏洞”. 1995. 10.1145/206826.206829
- J. 阿尔维斯-福斯和K. Levitt. 高阶逻辑下安全分布式系统的机械验证. 1991. Website
- J. 阿尔维斯-福斯和K. Levitt. 安全分布式系统的验证. 1991. 10.1109 / CMPCON.1991.128803
- J. 阿尔维斯-福斯和K. Levitt. 高阶逻辑中安全分布式系统的验证:使用通用组件的模块化方法. 1991. 10.1109/RISP.1991.130781
- J. Alves-Foss. “验证系统组件的内存”. 1991年11月. Website