7,457 research outputs found
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions
As computation spreads from computers to networks of computers, and migrates
into cyberspace, it ceases to be globally programmable, but it remains
programmable indirectly: network computations cannot be controlled, but they
can be steered by local constraints on network nodes. The tasks of
"programming" global behaviors through local constraints belong to the area of
security. The "program particles" that assure that a system of local
interactions leads towards some desired global goals are called security
protocols. As computation spreads beyond cyberspace, into physical and social
spaces, new security tasks and problems arise. As networks are extended by
physical sensors and controllers, including the humans, and interlaced with
social networks, the engineering concepts and techniques of computer security
blend with the social processes of security. These new connectors for
computational and social software require a new "discipline of programming" of
global behaviors through local constraints. Since the new discipline seems to
be emerging from a combination of established models of security protocols with
older methods of procedural programming, we use the name procedures for these
new connectors, that generalize protocols. In the present paper we propose
actor-networks as a formal model of computation in heterogenous networks of
computers, humans and their devices; and we introduce Procedure Derivation
Logic (PDL) as a framework for reasoning about security in actor-networks. On
the way, we survey the guiding ideas of Protocol Derivation Logic (also PDL)
that evolved through our work in security in last 10 years. Both formalisms are
geared towards graphic reasoning and tool support. We illustrate their workings
by analysing a popular form of two-factor authentication, and a multi-channel
device pairing procedure, devised for this occasion.Comment: 32 pages, 12 figures, 3 tables; journal submission; extended
references, added discussio
The State-of-the-Art of Set Visualization
Sets comprise a generic data model that has been used in a variety of data analysis problems. Such problems involve analysing and visualizing set relations between multiple sets defined over the same collection of elements. However, visualizing sets is a non-trivial problem due to the large number of possible relations between them. We provide a systematic overview of state-of-the-art techniques for visualizing different kinds of set relations. We classify these techniques into six main categories according to the visual representations they use and the tasks they support. We compare the categories to provide guidance for choosing an appropriate technique for a given problem. Finally, we identify challenges in this area that need further research and propose possible directions to address these challenges. Further resources on set visualization are available at http://www.setviz.net
Hybrid Reasoning and the Future of Iconic Representations
We give a brief overview of the main characteristics of diagrammatic
reasoning, analyze a case of human reasoning in a mastermind game, and explain
why hybrid representation systems (HRS) are particularly attractive and
promising for Artificial General Intelligence and Computer Science in general.Comment: pp. 299-31
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
Nowadays, software artifacts are ubiquitous in our lives being an essential
part of home appliances, cars, cell phones, and even in more critical
activities like aeronautics and health sciences. In this context software
failures may produce enormous losses, either economical or, in the worst case,
in human lives. Software analysis is an area in software engineering concerned
with the application of diverse techniques in order to prove the absence of
errors in software pieces. In many cases different analysis techniques are
applied by following specific methodological combinations that ensure better
results. These interactions between tools are usually carried out at the user
level and it is not supported by the tools. In this work we present
HeteroGenius, a framework conceived to develop tools that allow users to
perform hybrid analysis of heterogeneous software specifications.
HeteroGenius was designed prioritising the possibility of adding new
specification languages and analysis tools and enabling a synergic relation of
the techniques under a graphical interface satisfying several well-known
usability enhancement criteria. As a case-study we implemented the
functionality of Dynamite on top of HeteroGenius.Comment: In Proceedings LAFM 2013, arXiv:1401.056
A Fuzzy Association Rule Mining Expert-Driven (FARME-D) approach to Knowledge Acquisition
Fuzzy Association Rule Mining Expert-Driven (FARME-D) approach to knowledge acquisition is proposed in this paper as a viable solution to the challenges of rule-based unwieldiness and sharp boundary problem in building a fuzzy rule-based expert system. The fuzzy models were based on domain experts’ opinion about the data description. The proposed approach is committed to modelling of a
compact Fuzzy Rule-Based Expert Systems. It is also aimed at providing a platform for instant update of the knowledge-base in case new knowledge is discovered. The insight to the new approach strategies and underlining assumptions, the structure of FARME-D and its
practical application in medical domain was discussed. Also, the modalities for the validation of the FARME-D approach were discussed
Rhetorical structure and reader manipulation in Agatha Christie's <i>Murder on the Orient Express</i>
This paper describes Agatha Christie’s use of rhetoric to convince readers of the ‘truth’ of her detective’s solution in The Murder on the Orient Express, and uses an adaptation of Rhetorical Structure Theory (RST) designed for analyses of long extracts of a narrative text. The paper aims to demonstrate firstly the rhetorical practice of Christie, and secondly to demonstrate a tabular, non-diagrammatic exposition of RST, with some suggestions for future alterations to this method
Formal nursing terminology systems: a means to an end
In response to the need to support diverse and complex information requirements, nursing has developed a number of different terminology systems. The two main kinds of systems that have emerged are enumerative systems and combinatorial systems, although some systems have characteristics of both approaches. Differences in the structure and content of terminology systems, while useful at a local level, prevent effective wider communication, information sharing, integration of record systems, and comparison of nursing elements of healthcare information at a more global level. Formal nursing terminology systems present an alternative approach. This paper describes a number of recent initiatives and explains how these emerging approaches may help to augment existing nursing terminology systems and overcome their limitations through mediation. The development of formal nursing terminology systems is not an end in itself and there remains a great deal of work to be done before success can be claimed. This paper presents an overview of the key issues outstanding and provides recommendations for a way forward
- …