<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Zlatogor Minchev</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Research-focused Cyber Exercises: National State-of-the-Art Academic Experience and Perspectives</style></title><secondary-title><style face="normal" font="default" size="100%">DIGILIENCE 2019</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">cyber research exercises</style></keyword><keyword><style  face="normal" font="default" size="100%">cybersecurity transcedents</style></keyword><keyword><style  face="normal" font="default" size="100%">foresighting digital futures</style></keyword><keyword><style  face="normal" font="default" size="100%">mixed reality</style></keyword><keyword><style  face="normal" font="default" size="100%">multicriteria assessment</style></keyword><keyword><style  face="normal" font="default" size="100%">multimodal assessment</style></keyword><keyword><style  face="normal" font="default" size="100%">verification</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2019</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2-4 October</style></date></pub-dates></dates><pub-location><style face="normal" font="default" size="100%">Sofia, Bulgaria</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The paper presents a practical approach for education and training, based on computer assisted, research-focused exercises in mixed cyber-physical realities. A respective solution has been developed in the last several years, encompassing academic research and training experience both at national and international level as a tool for verification of future cybersecurity transcedents. Special emphasis is placed on the polygon design and implementation, and user feedback from the usage for multimodal and multicriteria assessment of training effectiveness. Finally, the paper outlines some future trends towards extending mixed realities, advancing user monitoring and more effective and efficient training.&lt;/p&gt;&lt;p&gt;This paper is included in the program of &lt;a href=&quot;https://digilience.org&quot;&gt;DIGILIENCE 2019&lt;/a&gt; and will be published in the post-conference volume.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Pàl Dunay</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Arms Control Arrangements under the Aegis  of the OSCE: Is There a Better Way to Handle Compliance?</style></title><secondary-title><style face="normal" font="default" size="100%">Connections: The Quarterly Journal</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">arms control</style></keyword><keyword><style  face="normal" font="default" size="100%">CFE</style></keyword><keyword><style  face="normal" font="default" size="100%">compliance</style></keyword><keyword><style  face="normal" font="default" size="100%">CSBMs</style></keyword><keyword><style  face="normal" font="default" size="100%">European Security</style></keyword><keyword><style  face="normal" font="default" size="100%">military exercises</style></keyword><keyword><style  face="normal" font="default" size="100%">Open Skies Treaty</style></keyword><keyword><style  face="normal" font="default" size="100%">verification</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2017</style></year><pub-dates><date><style  face="normal" font="default" size="100%">Summer 2017</style></date></pub-dates></dates><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">57-71</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The CSCE-OSCE has strong legacy in conventional arms control both as far as limitations and reductions and constraints on military activities. Although the last two decades since 1999 did not add much to the arms control acquis and there was a “retreat” in arms control with the suspension of the CFE Treaty. It is Germany that keeps European conventional arms control on the agenda as part of security dialogue since the Harmel Report of 1967 and takes symbolic initiatives as a demonstration. Although compliance is not full and some activities demonstrate the intention to cheat, their level is more important as part of the communication of the main parties rather than of direct strategic significance.
</style></abstract><issue><style face="normal" font="default" size="100%">3</style></issue></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Mark Lawford</style></author><author><style face="normal" font="default" size="100%">Alan Wassyng</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Formal Verification of Nuclear Systems: Past, Present, and Future</style></title><secondary-title><style face="normal" font="default" size="100%">Information &amp; Security: An International Journal</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Formal methods</style></keyword><keyword><style  face="normal" font="default" size="100%">safety-critical software</style></keyword><keyword><style  face="normal" font="default" size="100%">software development process</style></keyword><keyword><style  face="normal" font="default" size="100%">software tools</style></keyword><keyword><style  face="normal" font="default" size="100%">verification</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2012</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2012</style></date></pub-dates></dates><number><style face="normal" font="default" size="100%">18</style></number><volume><style face="normal" font="default" size="100%">28</style></volume><pages><style face="normal" font="default" size="100%">223-235</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">In this paper we review the Systematic Design Verification Process used on the computer controlled shutdown systems of the Darlington Nuclear Generating Station Shutdown Systems. The Software Requirements Specification (SRS) made extensive use of tabular expressions to document the requirements as did the Software Design Description (SDD). Systematic Design Verification was then performed based upon the 4-Variable Model to verify that the design was correct with respect to its requirements. Custom tools were developed to process the SRS and SDD documents to produce “block theorems” for the PVS theorem prover that were used to verify the majority of the functional requirements. We discuss how the formal methods were integrated into the forward going software development process and techniques that were used to manage the complexity of the verification task. We offer some lessons learned in the process and discuss the future of formal verification for nuclear systems.</style></abstract><issue><style face="normal" font="default" size="100%">2</style></issue></record></records></xml>