The Experts below are selected from a list of 303 Experts worldwide ranked by ideXlab platform
Francesco Santini - One of the best experts on this subject based on the ideXlab platform.
-
ATC - A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family
Lecture Notes in Computer Science, 2008Co-Authors: Stefano Bistarelli, Fabio Martinelli, Francesco SantiniAbstract:In this paper, we present a variant of Datalog Language (we call it DatalogW) able to deal with weights on ground facts and to consequently compute a feedback result for the goal satisfaction. The weights are chosen from a proper c-semiring. In our context, our goal is to use this Language as a semantic foundation for Languages for expressing trust relationships. As a matter of fact, many of them have a semantics given in terms of crisp constraints: our approach is to extend them to cover also the soft case. Thus, we apply DatalogWas the basis to give a uniform semantics to declarative RTW(Trust Management) Language family. The approach is rather generic and could be applied to other trust Management Languages based on Datalog, as a semantic sublayer to represent trust Management Languages where the trust level is relevant.
-
ARES - Weighted Datalog and Levels of Trust
2008 Third International Conference on Availability Reliability and Security, 2008Co-Authors: Stefano Bistarelli, Fabio Martinelli, Francesco SantiniAbstract:We extend the Datalog Language (we call it Datalogw) in order to deal with weights on ground facts and to consequently compute a feedback result for the goal satisfaction. The weights are chosen from a proper c-semiring. As a second step, in order to show the usefulness of the Language, we use Datalogw as the basis to give a uniform semantics to declarative RTW (Trust Management) Language family, in order to represent trust levels based on c-semirings. In this way it is possible to manage a score corresponding to a preference or cost associated to the revealed credentials, instead of a plain "yes or no" authorization result. Clearly, such a solution is more informative and allows us to treat uncertainty of facts and rules application, or different preferences for the entity roles. Trust can be then derived by choosing the best chain. The approach is rather generic and could be applied to other trust Management Languages.
Stefano Bistarelli - One of the best experts on this subject based on the ideXlab platform.
-
ATC - A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family
Lecture Notes in Computer Science, 2008Co-Authors: Stefano Bistarelli, Fabio Martinelli, Francesco SantiniAbstract:In this paper, we present a variant of Datalog Language (we call it DatalogW) able to deal with weights on ground facts and to consequently compute a feedback result for the goal satisfaction. The weights are chosen from a proper c-semiring. In our context, our goal is to use this Language as a semantic foundation for Languages for expressing trust relationships. As a matter of fact, many of them have a semantics given in terms of crisp constraints: our approach is to extend them to cover also the soft case. Thus, we apply DatalogWas the basis to give a uniform semantics to declarative RTW(Trust Management) Language family. The approach is rather generic and could be applied to other trust Management Languages based on Datalog, as a semantic sublayer to represent trust Management Languages where the trust level is relevant.
-
ARES - Weighted Datalog and Levels of Trust
2008 Third International Conference on Availability Reliability and Security, 2008Co-Authors: Stefano Bistarelli, Fabio Martinelli, Francesco SantiniAbstract:We extend the Datalog Language (we call it Datalogw) in order to deal with weights on ground facts and to consequently compute a feedback result for the goal satisfaction. The weights are chosen from a proper c-semiring. As a second step, in order to show the usefulness of the Language, we use Datalogw as the basis to give a uniform semantics to declarative RTW (Trust Management) Language family, in order to represent trust levels based on c-semirings. In this way it is possible to manage a score corresponding to a preference or cost associated to the revealed credentials, instead of a plain "yes or no" authorization result. Clearly, such a solution is more informative and allows us to treat uncertainty of facts and rules application, or different preferences for the entity roles. Trust can be then derived by choosing the best chain. The approach is rather generic and could be applied to other trust Management Languages.
Krzysztof Sacha - One of the best experts on this subject based on the ideXlab platform.
-
OTM Conferences (2) - Trust Management Languages and complexity
On the Move to Meaningful Internet Systems: OTM 2011, 2011Co-Authors: Krzysztof SachaAbstract:Trust Management is a concept of automatic verification of access rights against distributed security policies. A policy is described by a set of credentials that define membership of roles and delegation of authority over a resource between the members of roles. Making an access control decision is equivalent to resolving a credential chain between the requester and the role, which members are authorized to use a resource. A credential is an electronic document, formulated using a trust Management Language. This way, trust Management Languages are a tool for describing credentials and specifying access control policies in a flexible and modifiable way. This paper discusses the expressive power of trust Management Languages, describes a new extension to Role-based Trust Managements Language RTT, and evaluates the complexity of algorithm that is used for answering security queries.
-
MMM-ACNS - Credential chain discovery in RT T trust Management Language
Lecture Notes in Computer Science, 2010Co-Authors: Krzysztof SachaAbstract:The goal of this paper is to explore the potential of Role based Trust Management Language RTT as a means for specifying security policies and using credentials to ensure that confidential resources are not being granted to unauthorized users. The paper describes formally the syntax and semantics of the Language and defines RTT credential graphs and credential chains as a means for answering security queries. Backward and forward search algorithms to build a credential chain are given.
Ulrich Schade - One of the best experts on this subject based on the ideXlab platform.
-
CogSIMA - Battle Management Language as a “Lingua Franca” for situation awareness
2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2012Co-Authors: Kellyn Rein, Ulrich SchadeAbstract:Information for situation awareness and Management comes from a variety of sources, both device-generated (e.g., sensors) and human-generated. The latter includes databases, ontologies, intelligence reports, open source such as newspaper or television, and, increasingly informal communications such as Twitter or Facebook. Problematic is the fact that all of this information is created or stored in different formats, requiring processing and synthesis by humans. Furthermore, in international settings such as coalition operations, information may be in more than one natural Language. Each of these factors makes automatic processing of information difficult, adding complexity and reducing timeliness. Battle Management Language offers a vehicle for automatic processing of information from diverse sources through a standardized representation, which preserves semantic information, while supporting information fusion and situation Management.
-
DS-RT - A Grammar for Battle Management Language
2011 IEEE ACM 15th International Symposium on Distributed Simulation and Real Time Applications, 2011Co-Authors: Ulrich Schade, Bastian Haarmann, Michael R. HiebAbstract:In order to improve the interoperability between C2 systems and simulation systems, Battle Management Language (BML) has been developed as standard for assigning C2 tasks to units in simulation system and for sending reports from the simulation back to the C2 system. The specification of a Language always is based on a grammar. This is especially true if the Language in question is used for inter-system communication: Automated systems demand the foundation of such an exchange Language on a formal grammar. As a consequence, under the roof of the Simulation Interoperability Standardization Organization (SISO) a product development group extents the current BML standard which is called Version 1 standard to the BML Version 2 standard by founding BML on a grammar. In this paper, we will discuss the demands that exist for a BML grammar and we will argue that our grammar Command and Control Lexical Grammar (C2LG) which had been the linguistic basis for âCoalition BMLâ â" the BML version used in the successful NATO RTO MSG 048 âCoalition BMLâ activities meets those demands.
-
Adding reports to coalition battle Management Language for NATO MSG-048
2009Co-Authors: J. Mark Pullen, A. Alstad, Ole Martin Mevassvik, L. Khimeche, Douglas Corner, Samuel Suhas Singapogu, Nicholas K. Clark, Nicolas Cordonnier, Mohamed Mennane, Ulrich SchadeAbstract:The NATO Modeling and Simulation Group Technical Activity 48 (MSG-048) was chartered in 2006 to investigate the potential of a Coalition Battle Management Language for multinational and NATO interoperation of command and control systems with modeling and simulation. Its initial work in defining and demonstrating a basic capability for this purpose has been reported in previous Euro-SIW papers. This paper addresses Phase 2 of the Technical Activity which expanded the BML paradigm by adding C2 Reports, enabling two-way flow of information between C2 and simulation systems. The new capability was demonstrated at the InterService/Industry Training, Simulation and Education Conference (I/ITSEC) 2008. The demonstration configuration combined three national C2 systems and three national simulations along with middleware from two other nations. The result was a generic C2-simulation linkage with no humans in the information exchange loop. This was achieved in only four months, using a network-enabled development approach with an Internet Reference Implementation combined with a powerful development environment based on a C2 Lexical Grammar graphical user interface for inspection of the exchanged information, plus a scripted approach for rapid development of expanded BML Web services. This paper provides a description of the BML Reports and the enhanced development methodology to support expansion of the BML concept in general and the work of the SISO C-BML Product Development Group in particular. We conclude with a projection of the work of MSG-048 in 2009, which focuses on operational validation of the C-BML concept.
-
ICC - Battle Management Language (BML) As an Enabler
2009 IEEE International Conference on Communications, 2009Co-Authors: Kellyn Rein, Ulrich Schade, Michael R. HiebAbstract:According to its definition, a Battle Management Language (BML) is an unambiguous Language used to command and control forces and equipment conducting military operations and to provide for situational awareness and a shared, common operational picture. In this paper, we will argue that the use of a BML enables military units to utilize state-of-the-art IT techniques for today's operations. In particular, we will discuss the benefits of using BML for military communications in multinational endeavors, for the use of simulation systems in staff training, for decision support, and for automatic information fusion.
-
Battle Management Language: Proof of Principle and Future Developments
2008Co-Authors: N.m. De Reus, P.p.j. De Krom, Ulrich Schade, J. M. PullenAbstract:The NATO Modeling and Simulation Group Technical Activity 048 (MSG-048) was chartered in 2006 to investigate the potential of a Coalition Battle Management Language (C-BML) for Multinational and NATO interoperation of command and control systems with Modeling and Simulation. At its May, 2007 meeting, MSG- 048 decided to undertake, as its first technical project, a multinational demonstration using the US Joint Battle Management Language (JBML) Web services as the central infrastructure. The JBML Web services were developed for land, air and maritime operations. The MSG-048 demonstration was presented at the I/ITSEC'07 and consisted of three different operational national C2 systems interoperating with three different national simulations, supported by the JBML Web services. In all, eight software systems from five nations successfully interoperated on a complex Land Coalition scenario at the Brigade level. In ‘08 work was done to take this a step further and work towards an experiment involving military personnel using real C2 systems and simulators to support the military planning process. The systems used in the ’07 demonstration were upgraded and new systems were added to present a realistic decision support environment to the operators. The initial results will be demonstrated at the I/ITSEC’08. This paper will provide an overview of the lessons learned from the ’07 demonstration, the work done in ‘08 to be able to use the systems and a view towards the future of C2 – Simulation coupling using Battle Management Language. The MSG-048 results will be fed back to the SISO C-BML PDG.
Michael R. Hieb - One of the best experts on this subject based on the ideXlab platform.
-
DS-RT - A Grammar for Battle Management Language
2011 IEEE ACM 15th International Symposium on Distributed Simulation and Real Time Applications, 2011Co-Authors: Ulrich Schade, Bastian Haarmann, Michael R. HiebAbstract:In order to improve the interoperability between C2 systems and simulation systems, Battle Management Language (BML) has been developed as standard for assigning C2 tasks to units in simulation system and for sending reports from the simulation back to the C2 system. The specification of a Language always is based on a grammar. This is especially true if the Language in question is used for inter-system communication: Automated systems demand the foundation of such an exchange Language on a formal grammar. As a consequence, under the roof of the Simulation Interoperability Standardization Organization (SISO) a product development group extents the current BML standard which is called Version 1 standard to the BML Version 2 standard by founding BML on a grammar. In this paper, we will discuss the demands that exist for a BML grammar and we will argue that our grammar Command and Control Lexical Grammar (C2LG) which had been the linguistic basis for âCoalition BMLâ â" the BML version used in the successful NATO RTO MSG 048 âCoalition BMLâ activities meets those demands.
-
ICC - Battle Management Language (BML) As an Enabler
2009 IEEE International Conference on Communications, 2009Co-Authors: Kellyn Rein, Ulrich Schade, Michael R. HiebAbstract:According to its definition, a Battle Management Language (BML) is an unambiguous Language used to command and control forces and equipment conducting military operations and to provide for situational awareness and a shared, common operational picture. In this paper, we will argue that the use of a BML enables military units to utilize state-of-the-art IT techniques for today's operations. In particular, we will discuss the benefits of using BML for military communications in multinational endeavors, for the use of simulation systems in staff training, for decision support, and for automatic information fusion.
-
BLACK-CACTUS: embedded training using a battle Management Language in a swedish command and control system
2008Co-Authors: Per M. Gustavsson, Michael R. Hieb, Magnus Grönkvist, Vikram Kamath, Jakob Blomberg, Joakim WemmergårdAbstract:The Net Centric and Global Information Grid (GIG) visions envision systems that will be interconnected to support multi-lateral, civilian and military missions. The constantly changing environment requires commanders and leaders to plan for missions that allow for units from various nations, agencies, etc. to join or separate from the team, depending on the situation, as the mission unfolds. Training performed at home stations and in mission training/mission rehearsal may occur just days, hours or even minutes before the actual missions. This need for rapid mission-specific rehearsal capabilities and multilateral environment drives requirements to 1) develop a simulation infrastructures that enable embedded simulation capability in the operational systems and 2) develop interoperability mechanisms that enable a more agile, dynamic and adaptive interconnection of heterogeneous simulations. In this paper the lessons learned from the novel BLACK-CACTUS project (Bi-LAteral Collaboration and Knowledge exchange -- Command And Control To US and Sweden) is presented. The project shows an agile method of integrating Command and Control Systems and Computer Generated Force engines using the Command and Control Lexical Grammar (C2LG) together with the Widely Integrated Systems Environment (WISE) integration platform. The C2LG is the semantic glue that ties the information parts together and WISE is the framework for disseminating information through several of protocols and information models. The BLACK-CACTUS Proof of Principle consisted of the C2LG GUI, the TVT Vehicle Battle Management System (VBMS), the Joint Semi Automated Forces (JSAF) Simulation, the WISE platform, and the Joint Battle Management Language (JBML) web server and services. This paper presents the architecture, the implementation and the rational why a C2LG together with integration methods provides agile Joint/Coalition Embedded C2 Training Environments.
-
Battle Management Language Transformations
2006Co-Authors: Frederic Bernard, Michael R. Hieb, Mark Pullen, L. Khimeche, Michael W. Powers, De Champs, William P. Sudnikovich, Adam RitchieAbstract:Abstract : A critically needed element of transformation is to enable interoperation of alliance and coalition Command and Control (C2) and Modelling and Simulation (M&S) systems. Battlefield Management Language (BML) is being developed as a common representation of military mission suitable for automated processing. Within NATO the task group MSG-048 Coalition BML is defining a BML using the Joint Command, Control and Consultation Information Exchange Data Model (JC3IEDM) as a lexicon. BML addresses the capability to initialize Simulations with Operational orders and taskings that has been recognized as a key future capability for both training and experimentation. We describe a limited demonstration where both French and US C2 planning systems were used to prepare a Course of Action (COA) to conduct a coalition coordinated operation which supported approval of the new Technology Assessment Program MSG-048. BML is being explored in US Army, US Joint and Coalition Contexts. With MSG-048, continued research in many dimensions is continuing to broaden the BML concept. Better integration of reasoning within a Coalition C2 process can be facilitated by specific BMLs. An example is geoBML. Such reasoning capabilities are fundamental to enabling transformation through C2-Simulation interoperation and also to providing capabilities for future experimentation. We describe how geoBML will be implemented through extensions of C2IEDM, expanding and further transforming coalition capabilities.
-
Developing a Coalition Battle Management Language to Facilitate Interoperability Between Operation CIS, and Simulations in Support of Training and Mission Rehearsal
2005Co-Authors: Andreas Tolk, Michael R. Hieb, Kevin Galvin, Lionel Khimeche, Mark PullenAbstract:Abstract : The Battle Management Language (BML) initiative started by the US Army Modeling and Simulation Office (AMSO) published a standard in 1999. It organized doctrinal terms into "5W's": "Who, What, When. Where and Why", to facilitate interoperability between command and control systems and simulations. BML is an unambiguous Language used to command and control forces conducting operations and support situational awareness and a common operational picture. It is being developed as a standard representation of a digitized commander's intent to be used by warfighters, simulated forces, and robots. A BML prototype was demonstrated in 2003. This prototype was used to analyze the applicability of BML to UK doctrine. A French Army BML was also prototypically implemented within their research program, and there is a US-German initiative, Project SINCE, that added the "How" and "Which" to give a "W6H" construct. XML, the use of web services, and BML representation within the Command and Control Information Exchange Data Model (C2IEDM) has provided a common thread. The paper provides descriptions of these developments and insights into two initiatives that have started as a result of this work; the creation of a Simulation Interoperability Standards Organization (SISO) Study Group and NATO Exploratory Team-016.
