NDLI: Authenticated encryption for time-sensitive critical infrastructure

Please wait, while we are loading the content...

Rumor restraining based on propagation prediction with limited observations in large-scale social networks

Security analysis of modern mission critical android mobile applications

Twitter spam detection based on deep learning

TRA: tandem repeat assembler for next generation sequences

A fuzzy decision tree approach based on data distribution construction

Towards measuring the adaptability of an AO4BPEL process

Proportioning documents over categories based on word embeddings

Visual representation of penetration testing actions and skills in a technical tree model

Evaluating WaveWatch: an ambient display of web traffic

Insights into visualizing trajectory recommendation rankings

Evaluating sensory feedback for immersion in exergames

Issues faced by vision-impaired users of interactive TV search facilities

A survey of intelligent digital ink tools use in STEM education

Automated refactoring of rust programs

Static techniques for reducing memory usage in the C implementation of whiley programs

Deterministic procedural generation of mesh detail through gradient tiling

Anomaly detection in agri warehouse construction

Formulating graph covering problems for adiabatic quantum computers

Authenticated encryption for time-sensitive critical infrastructure

Exploring the design space of metadata-focused file management systems

An ad hoc broadcasting application by way of mobile devices

Effect of coupling on change in open source Java systems

Practical adaptive search trees with performance bounds

An analysis of New South Wales electronic vote counting

Improving tuple reconstruction for tiered column stores: a workload-aware ansatz based on table reordering

Towards customised visualisation of ontologies: state of the art and future applications for online polls analysis

Robust scheduling of truck arrivals at a cross-docking platform

Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes

Behavioral types for component-based software systems

Orthogonal analysis of StarCraft II for game balance

Formally verified invariants of vote counting schemes

Bullseye: structured passage retrieval and document highlighting for scholarly search

Characterising relational view updates using relative information capacity

Dynamic temporal constraints in business processes

Intuitive understanding of a modeling language

A change management framework for service based business process

A scalable header compression scheme to improve bandwidth utilization in 5G networks

The cloud computing load forecasting algorithm based on wavelet support vector machine

FollowMe if you can: a study of mobile crowd sensing with Pokémon go

A novel strategy for efficient temporal verification with intersectant situation in scientific workflow

Scalable-DSP: a high scalable distributed storage and processing system for unstructured data in big data environments

Are current resources in SDN allocated to maximum performance and minimize costs and maintaining QoS problems?

Resource and performance prediction at high utilization for N-Tier cloud-based service systems

Iterative auction based service selection for multi-tenant service-based systems

The Bel array: asynchronous fine-grained reconfigurable co-processing

An inverse collaborative filtering approach for cold-start problem in web service recommendation

Neural network model with Monte Carlo algorithm for electricity demand forecasting in Queensland

GROWN: a control and decision system for smart greenhouses using wireless sensor networks

Generating cubes from smart city web data

Towards merging collaborating processes for artifact lifecycle synthesis

Effective pseudo-relevance for Microblog retrieval

Content-based emotion classification in online social networks for Chinese Microblogs

Crowd-annotation and LoD-based semantic indexing of content in multi-disciplinary web repositories to improve search results

Using web services to fuse remote sensing and multimedia data repositories

A big data analytic framework for investigating streaming educational data

Security of ePrescriptions: data in transit comparison using existing and mobile device services

Understanding chronic disease comorbidities from baseline networks: knowledge discovery utilising administrative healthcare data

Vulnerabilities associated with wi-fi protected setup in a medical environment

Characterizing IT-based consumer health artefacts

Data-driven patient segmentation using K-means clustering: the case of hip fracture care in Ireland

Evaluating sensor placement and modality for activity recognition in active games

Gender and the perception of emotions in avatars

An analysis of game environments as measured by fractal complexity

Virtual weather systems: measuring impact within videogame environments

Use of a biologically adapted reaction-diffusion model to generate hair properties for synthetic creatures

Modeling social interestingness in conversational stories

Exploring the feasibility of diegetic in-game store user interfaces

A trust model based energy detection for cognitive radio networks

Framework for SCADA cyber-attack dataset creation

Re-engineering simultaneous internet sessions process-separated browsers

An efficient and provably secure RFID grouping proof protocol

Privacy preserving in big data sets through multiple shuffle

Game theory based privacy preserving analysis in correlated data publication

Target: category-based android malware detection revisited

Entropy-based detection of botnet command and control

Certificateless public verification scheme with privacy-preserving and message recovery for dynamic group

Evolving concurrent systems: behavioural theory and logic

Energy-efficient human activity recognition for self-powered wearable devices

Authenticated encryption for time-sensitive critical infrastructure

Content Provider	ACM Digital Library
Author	Fidge, Colin Radke, Kenneth Hunter, Daniel Parry, Jack
Abstract	Encryption is the primary tool for protecting information security, but cyber-physical systems that interact directly with critical infrastructure, in applications such as power, water and transport, typically use no encryption for their control messages at all. This is because computer systems that interface to physical devices are subject to strict realtime constraints and it is widely assumed that the computational overheads of encryption are too high in such situations. Indeed, some international standards for critical infrastructure systems explicitly recommend against using encryption. Here we present experimental results proving that data encryption can be used to defend cyber-physical systems within the timing constraints imposed by international standards for data communications in electricity distribution substations, even when using conventional hardware and software. To ensure the validity of the results we created a testbed composed of industry-standard devices, and to guarantee the experiments' accuracy we measured data packet timing using specialised hardware synchronised to GPS time. Our results provide the first detailed analysis of the time taken to encrypt, transmit, and decrypt a critical infrastructure protocol using a stream cipher in a realistic physical environment. Furthermore, in safety-critical systems data confidentiality is not the only information security concern. Data integrity must be preserved as well. We therefore show that such timing results are possible even when using an authenticated encryption algorithm, which provides both data confidentiality and integrity, thereby paving the way for deploying strong encryption technologies in cyber-physical systems.
Starting Page	1
Ending Page	10
Page Count	10
File Format	PDF
ISBN	9781450347686
DOI	10.1145/3014812.3014832
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2017-01-30
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Stream ciphers Authenticated encryption Control systems Critical infrastructure Encryption
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in