NSTL国家科技图书文献中心

1. Model-driven safety and security co-analysis: A systematic literature review NSTL国家科技图书文献中心

Victor Luiz Grechi | Andre Luiz de Olivei...... - 《The Journal of Systems and Software》 - 2025,220(Feb.) - 112251.1～112251.21 - 共21页

摘要： safety and security co-engineering through a Systematic | safety-critical systems requiring the analysis and | . Safety and security are crucial in safety- and security | impacts safety* and security, requiring dependability | using models to represent and analyze safety and*

关键词： Safety | Security | Safety and security co-analysis | Model-driven engineering | Safety-critical systems | Security-critical systems

2. Where drinks and danger meet: Analyzing the spatial link between Bars and crime in Detroit NSTL国家科技图书文献中心

Huang, Ziheng | Xu, Yanqing ... - 《Applied Geography》 - 2025,174 - 共14页

摘要： offenses, family violence, and* chronic aggressiveness in* | adults. While the association between alcohol use and | examined the spatial co-occurrence of bar locations - a | primary venue for alcohol sales - and* crime incidents* | across precise geographical locations and* over time*

关键词： Colocation quotient | Alcohol establishment | Crime | Detroit | Spatial analysis

3. Patient and practitioner perceptions around use of artificial intelligence within the English NHS diabetic eye screening programme NSTL国家科技图书文献中心

Wahlich, Charlotte | Chandrasekaran, Laks...... - 《Diabetes research and clinical practice》 - 2025,219 - 111964～111964 - 共9页

摘要： job losses, data security, and* AI decision safety. A* | Aims: Automated retinal image analysis* using* | perceptions of People Living with Diabetes (PLD) and | DESP. Methods: Two online surveys were co-developed | with PLD and* HCP from a diverse DESP in North East*

关键词： Artificial intelligence | Diabetes | Qualitative | Screening | Technology

4. Integrating security factors into fault tree analysis: A safety and security co-analysis approach for AADL models NSTL国家科技图书文献中心

Weiwei Zhou | Qinjiang Sun ... - 《International Conference on Computer Application and Information Security (ICCAIS 2023), Part One of Two Parts: 20-22 December 2023.Wuhan, China》 - International Conference on Computer Application and Information Security - 2024, - 130900X.1～130900X.7 - 共7页

摘要：. This paper presents a safety and security co-analysis | semantics that facilitate safety and security analysis | Safety and security analyses are crucial for | impact of security* factors on safety and vice versa* | vulnerabilities. The Architecture Analysis* and Design Language*

关键词： Safety analysis | security analysis | cyber-physical systems | fault tree analysis | AADL

5. CBTC Security and Reliability Enhancements by a Key-Based Direct Sequence Spread Spectrum Technique NSTL国家科技图书文献中心

Hamed Dabbaghzadeh | Abolfazl Falahati ... - 《IEEE transactions on intelligent transportation systems》 - 2024,25(1) - 159～172 - 共14页

摘要： should satisfy acceptable safety, security, and | the safety, security, and* reliability of CBTC* | -domain analysis* shows how this safety function enhances* | Spectrum (DSSS) technique is proposed as a safety | , namely IEEE 1474, IEC 61508, and* EN 50128, CBTC systems*

关键词： Safety | Security | Spread spectrum communication | Reliability | Receivers | Standards | Jamming

6. SEAMS 2024 Keynote 2 NSTL国家科技图书文献中心

Sun Jun - 《2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems: SEAMS 2024, Lisbon, Portugal, 15-16 April 2024》 - IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems - 2024, - 109～109 - 共1页

摘要： safety, formal methods, program analysis and cyber | -security. He is the co-founder of the PAT model checker | Management University (SMU). He received Bachelor and* PhD* | Singapore (NUS) in 2002 and* 2006. He has been a faculty* | Sun Jun is currently a professor at Singapore

关键词： Adaptation models | Adaptive systems | Autonomous systems | Computational modeling | Companies | Safety | Sun

7. A Review of Vehicle Group Intelligence in a Connected Environment NSTL国家科技图书文献中心

Chaozhong Wu | Zhenggan Cai ... - 《IEEE transactions on intelligent vehicles》 - 2024,9(1 Pt.2) - 1865～1889 - 共25页 - 被引量：5

摘要： (document co-citation and* keyword co-occurrence) are* | utilized to highlight highly co-cited publications and | protocols and* security. The research findings provide* | knowledge bases and* prevailing research perspectives* | from the SCIE and* SSCI databases for the literature*

关键词： Intelligent vehicles | Collaboration | Safety | Transportation | Behavioral sciences | Merging | Wireless communication

8. A review of carbon storage in saline aquifers: Mechanisms, prerequisites, and key considerations NSTL国家科技图书文献中心

Izadpanahi A. | Sampaio M.A.... - 《Fuel: A journal of fuel science》 - 2024,369(Aug.1) - 1.1～1.24 - 共24页 - 被引量：16

摘要： storage and* containment security, highlighting the* | . Additionally, for increased safety* and cost-effectiveness in* | for maximizing efficiency and* safety in saline* | on comprehensive analysis* of geographic data* | pertaining to sedimentary thickness and* other relevant*

关键词： Capacity | CO2 storage | Injectivity | Mechanisms of CO2 storage | Saline aquifers | Wettability

9. Advancements in Intelligent Transport Systems Across Various Modes of Transportation NSTL国家科技图书文献中心

Anshul Srivastava | Pratibha Pandey ... - 《2024 International Conference on Intelligent Systems for Cybersecurity,[v.1]》 - International Conference on Intelligent Systems for Cybersecurity - 2024, - 1～7 - 共7页

摘要： and Fee gathering, Transport Security and Safety | Movement and* Co-modality Solutions, and Sustainability* | -modal and* multi-modal operations by providing a* | thorough analysis* across a range of transportation modes* | Movement and* Comodality Services, Smart ticketing system*

关键词： Navigation | Ecosystems | Urban areas | Transportation | Data warehouses | Reliability engineering | Safety

10. Towards zero trust security in connected vehicles: A comprehensive survey NSTL国家科技图书文献中心

Malak Annabi | Abdelhafid Zeroual ... - 《Computers & Security》 - 2024,145(Oct.) - 104018.1～104018.25 - 共25页 - 被引量：2

摘要： intends to enhance the security posture and safety | bibliometric analysis. Moreover, keywords co-occurrence | analysis has been done, which indicates trends and | verification of users, devices, and* applications, whatever* | reducing the attack surface and* preventing lateral*

摘要： safety and security co-engineering through a Systematic | safety-critical systems requiring the analysis and | . Safety and security are crucial in safety- and security | impacts safety* and security, requiring dependability | using models to represent and analyze safety and*

关键词： Safety | Security | Safety and security co-analysis | Model-driven engineering | Safety-critical systems | Security-critical systems

摘要： offenses, family violence, and* chronic aggressiveness in* | adults. While the association between alcohol use and | examined the spatial co-occurrence of bar locations - a | primary venue for alcohol sales - and* crime incidents* | across precise geographical locations and* over time*

关键词： Colocation quotient | Alcohol establishment | Crime | Detroit | Spatial analysis

摘要： job losses, data security, and* AI decision safety. A* | Aims: Automated retinal image analysis* using* | perceptions of People Living with Diabetes (PLD) and | DESP. Methods: Two online surveys were co-developed | with PLD and* HCP from a diverse DESP in North East*

关键词： Artificial intelligence | Diabetes | Qualitative | Screening | Technology

摘要：. This paper presents a safety and security co-analysis | semantics that facilitate safety and security analysis | Safety and security analyses are crucial for | impact of security* factors on safety and vice versa* | vulnerabilities. The Architecture Analysis* and Design Language*

关键词： Safety analysis | security analysis | cyber-physical systems | fault tree analysis | AADL

摘要： should satisfy acceptable safety, security, and | the safety, security, and* reliability of CBTC* | -domain analysis* shows how this safety function enhances* | Spectrum (DSSS) technique is proposed as a safety | , namely IEEE 1474, IEC 61508, and* EN 50128, CBTC systems*

关键词： Safety | Security | Spread spectrum communication | Reliability | Receivers | Standards | Jamming

摘要： safety, formal methods, program analysis and cyber | -security. He is the co-founder of the PAT model checker | Management University (SMU). He received Bachelor and* PhD* | Singapore (NUS) in 2002 and* 2006. He has been a faculty* | Sun Jun is currently a professor at Singapore

关键词： Adaptation models | Adaptive systems | Autonomous systems | Computational modeling | Companies | Safety | Sun

摘要： (document co-citation and* keyword co-occurrence) are* | utilized to highlight highly co-cited publications and | protocols and* security. The research findings provide* | knowledge bases and* prevailing research perspectives* | from the SCIE and* SSCI databases for the literature*

关键词： Intelligent vehicles | Collaboration | Safety | Transportation | Behavioral sciences | Merging | Wireless communication

摘要： storage and* containment security, highlighting the* | . Additionally, for increased safety* and cost-effectiveness in* | for maximizing efficiency and* safety in saline* | on comprehensive analysis* of geographic data* | pertaining to sedimentary thickness and* other relevant*

关键词： Capacity | CO2 storage | Injectivity | Mechanisms of CO2 storage | Saline aquifers | Wettability

摘要： and Fee gathering, Transport Security and Safety | Movement and* Co-modality Solutions, and Sustainability* | -modal and* multi-modal operations by providing a* | thorough analysis* across a range of transportation modes* | Movement and* Comodality Services, Smart ticketing system*

关键词： Navigation | Ecosystems | Urban areas | Transportation | Data warehouses | Reliability engineering | Safety

摘要： intends to enhance the security posture and safety | bibliometric analysis. Moreover, keywords co-occurrence | analysis has been done, which indicates trends and | verification of users, devices, and* applications, whatever* | reducing the attack surface and* preventing lateral*

关键词： Zero trust | Transportation safety | Connected vehicles | Cyber security | Network security | Cyber-attack

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： safety and security co-engineering through a Systematic | safety-critical systems requiring the analysis and | . Safety and security are crucial in safety- and security | impacts safety and security, requiring dependability | using models to represent and analyze safety and

关键词： Safety | Security | Safety and security co-analysis | Model-driven engineering | Safety-critical systems | Security-critical systems

摘要： offenses, family violence, and chronic aggressiveness in | adults. While the association between alcohol use and | examined the spatial co-occurrence of bar locations - a | primary venue for alcohol sales - and crime incidents | across precise geographical locations and over time

关键词： Colocation quotient | Alcohol establishment | Crime | Detroit | Spatial analysis

摘要： job losses, data security, and AI decision safety. A | Aims: Automated retinal image analysis using | perceptions of People Living with Diabetes (PLD) and | DESP. Methods: Two online surveys were co-developed | with PLD and HCP from a diverse DESP in North East

关键词： Artificial intelligence | Diabetes | Qualitative | Screening | Technology

摘要：. This paper presents a safety and security co-analysis | semantics that facilitate safety and security analysis | Safety and security analyses are crucial for | impact of security factors on safety and vice versa | vulnerabilities. The Architecture Analysis and Design Language

关键词： Safety analysis | security analysis | cyber-physical systems | fault tree analysis | AADL

摘要： should satisfy acceptable safety, security, and | the safety, security, and reliability of CBTC | -domain analysis shows how this safety function enhances | Spectrum (DSSS) technique is proposed as a safety | , namely IEEE 1474, IEC 61508, and EN 50128, CBTC systems

关键词： Safety | Security | Spread spectrum communication | Reliability | Receivers | Standards | Jamming

摘要： safety, formal methods, program analysis and cyber | -security. He is the co-founder of the PAT model checker | Management University (SMU). He received Bachelor and PhD | Singapore (NUS) in 2002 and 2006. He has been a faculty | Sun Jun is currently a professor at Singapore

关键词： Adaptation models | Adaptive systems | Autonomous systems | Computational modeling | Companies | Safety | Sun

摘要： (document co-citation and keyword co-occurrence) are | utilized to highlight highly co-cited publications and | protocols and security. The research findings provide | knowledge bases and prevailing research perspectives | from the SCIE and SSCI databases for the literature

关键词： Intelligent vehicles | Collaboration | Safety | Transportation | Behavioral sciences | Merging | Wireless communication

摘要： storage and containment security, highlighting the | . Additionally, for increased safety and cost-effectiveness in | for maximizing efficiency and safety in saline | on comprehensive analysis of geographic data | pertaining to sedimentary thickness and other relevant

关键词： Capacity | CO2 storage | Injectivity | Mechanisms of CO2 storage | Saline aquifers | Wettability

摘要： and Fee gathering, Transport Security and Safety | Movement and Co-modality Solutions, and Sustainability | -modal and multi-modal operations by providing a | thorough analysis across a range of transportation modes | Movement and Comodality Services, Smart ticketing system

关键词： Navigation | Ecosystems | Urban areas | Transportation | Data warehouses | Reliability engineering | Safety

摘要： intends to enhance the security posture and safety | bibliometric analysis. Moreover, keywords co-occurrence | analysis has been done, which indicates trends and | verification of users, devices, and applications, whatever | reducing the attack surface and preventing lateral

关键词： Zero trust | Transportation safety | Connected vehicles | Cyber security | Network security | Cyber-attack

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： safety and security co-engineering through a Systematic | safety-critical systems requiring the analysis and | . Safety and security are crucial in safety- and security | impacts safety* and security, requiring dependability | using models to represent and analyze safety and*

摘要： offenses, family violence, and* chronic aggressiveness in* | adults. While the association between alcohol use and | examined the spatial co-occurrence of bar locations - a | primary venue for alcohol sales - and* crime incidents* | across precise geographical locations and* over time*

摘要： job losses, data security, and* AI decision safety. A* | Aims: Automated retinal image analysis* using* | perceptions of People Living with Diabetes (PLD) and | DESP. Methods: Two online surveys were co-developed | with PLD and* HCP from a diverse DESP in North East*

摘要：. This paper presents a safety and security co-analysis | semantics that facilitate safety and security analysis | Safety and security analyses are crucial for | impact of security* factors on safety and vice versa* | vulnerabilities. The Architecture Analysis* and Design Language*

摘要： should satisfy acceptable safety, security, and | the safety, security, and* reliability of CBTC* | -domain analysis* shows how this safety function enhances* | Spectrum (DSSS) technique is proposed as a safety | , namely IEEE 1474, IEC 61508, and* EN 50128, CBTC systems*

摘要： safety, formal methods, program analysis and cyber | -security. He is the co-founder of the PAT model checker | Management University (SMU). He received Bachelor and* PhD* | Singapore (NUS) in 2002 and* 2006. He has been a faculty* | Sun Jun is currently a professor at Singapore

摘要： (document co-citation and* keyword co-occurrence) are* | utilized to highlight highly co-cited publications and | protocols and* security. The research findings provide* | knowledge bases and* prevailing research perspectives* | from the SCIE and* SSCI databases for the literature*

摘要： storage and* containment security, highlighting the* | . Additionally, for increased safety* and cost-effectiveness in* | for maximizing efficiency and* safety in saline* | on comprehensive analysis* of geographic data* | pertaining to sedimentary thickness and* other relevant*

摘要： and Fee gathering, Transport Security and Safety | Movement and* Co-modality Solutions, and Sustainability* | -modal and* multi-modal operations by providing a* | thorough analysis* across a range of transportation modes* | Movement and* Comodality Services, Smart ticketing system*

摘要： intends to enhance the security posture and safety | bibliometric analysis. Moreover, keywords co-occurrence | analysis has been done, which indicates trends and | verification of users, devices, and* applications, whatever* | reducing the attack surface and* preventing lateral*