NDLI: Proceedings of the 2014 Symposium and Bootcamp on the Science of Security (HotSoS '14)

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

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations

A rewriting-based forwards semantics for Maude-NPA

Open vs. closed systems for accountability

Log your CRUD: design principles for software logging mechanisms

A new approach to modeling and analyzing security of networked systems

Less is more?: investigating the role of examples in security studies using analogical transfer

Phishing in international waters: exploring cross-national differences in phishing conceptualizations between Chinese, Indian and American samples

Human factors in webserver log file analysis: a controlled experiment on investigating malicious activity

Characterizing the power of moving target defense via cyber epidemic dynamics

Analyzing an adaptive reputation metric for anonymity systems

Proving abstractions of dynamical systems through numerical simulations

Emergent behavior in cybersecurity

Cybersecurity dynamics

InViz: instant visualization of security attacks

An analysis method for medical device security

Evidence-based trust reasoning

Type-specific languages to fight injection attacks

Examining reliability of wireless multihop network routing with linear systems

Trustworthy context-dependent services

Preemptive intrusion detection

Personalized password guessing: a new security threat

Limiting recertification in highly configurable systems: analyzing interactions and isolation among configuration options

Building the security behavior observatory: an infrastructure for long-term monitoring of client machines

Channel correlation modeling for link signature security assessment

Securing Hadoop in cloud

Secure-by-construction composable componentry for network processing

Access control policy evolution: an empirical study

Diversity-based detection of security anomalies

Is there value in reasoning about security at the architectural level: a comparative evaluation

Insecure behaviors on mobile devices under stress

Improving mobile application security via bridging user expectations and application behaviors

Modeling and sensing risky user behavior on mobile devices

Exploring key-level analytics for computational modeling of typing behavior

An analysis of Fedora security profile

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security (HotSoS '14)

Content Provider	ACM Digital Library
Editor	Singh, Munindar P. Nicol, David M. Williams, Laurie A.
Copyright Year	2014
Abstract	The Symposium and Bootcamp on the Science of Security (HotSoS), is a research event centered on the Science of Security (SoS). Following a successful invitational SoS Community Meeting in December 2012, HotSoS 2014 was the first open research event in what we expect will be a continuing series of such events. The key motivation behind developing a Science of Security is to address the fundamental problems of cybersecurity in a principled manner. Security has been intensively studied, but a lot of previous research emphasizes the engineering of specific solutions without first developing the scientific understanding of the problem domain. All too often, security research conveys the flavor of identifying specific threats and removing them in an apparently ad hoc manner. The motivation behind the nascent Science of Security is to understand how computing systems are architected, built, used, and maintained with a view to understanding and addressing security challenges systematically across their life cycle. In particular, two features distinguish the Science of Security from previous research programs on cybersecurity. Scope. The Science of Security considers not just computational artifacts but also incorporates the human, social, and organizational aspects of computing within its purview. Approach. The Science of Security takes a decidedly scientific approach, based on the understanding of empirical evaluation and theoretical foundations as developed in the natural and social sciences, but adapted as appropriate for the "artificial science" (paraphrasing Herb Simon's term) that is computing.
ISBN	9781450329071
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-04-08
Access Restriction	Subscribed
Content Type	Text
Resource Type	Conference Proceedings

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

Proceedings of the Symposium and Bootcamp on the Science of Security (HotSos '16)

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security (HotSoS '15)

Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp (HoTSoS)

Proceedings of the 2014 on International symposium on physical design (ISPD '14)

Proceedings of the 2014 international symposium on Memory management (ISMM '14)

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation (SNC '14)

Proceedings of the 2014 ACM symposium on Document engineering (DocEng '14)

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell (Haskell '14)

Proceedings of the 2014 SIGMOD PhD symposium (SIGMOD'14 PhD Symposium)

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security (HotSoS '14)

Similar Documents

Proceedings of the Symposium and Bootcamp on the Science of Security (HotSos '16)

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security (HotSoS '15)

Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp (HoTSoS)

Proceedings of the 2014 on International symposium on physical design (ISPD '14)

Proceedings of the 2014 international symposium on Memory management (ISMM '14)

Proceedings of the 2014 Symposium on Symbolic-Numeric Computation (SNC '14)

Proceedings of the 2014 ACM symposium on Document engineering (DocEng '14)

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell (Haskell '14)

Proceedings of the 2014 SIGMOD PhD symposium (SIGMOD'14 PhD Symposium)

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security (HotSoS '14)