Search results for "assurance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Lorie M. Liebrock	Education: Scholarship for Service.	IEEE Distributed Syst. Online	2006	DBLP DOI BibTeX RDF	Scholarship for Service, US government, federal civil service, information assurance
25	David S. Hardin, Eric W. Smith, William D. Young	A robust machine code proof framework for highly secure applications.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling
25	Christian Denger, Ronny Kolb	Testing and inspecting reusable product line components: first empirical results.	ISESE	2006	DBLP DOI BibTeX RDF	software product line, inspection, controlled experiment, quality assurance, functional testing, reusable components
25	James F. Davis	Information systems security engineering: a critical component of the systems engineering lifecycle.	SIGAda	2004	DBLP DOI BibTeX RDF	ISSE, security, engineering, assurance, IA
25	Alessandro Mei, Luigi V. Mancini, Sushil Jajodia	Secure Dynamic Fragment and Replica Allocation in Large-Scale Distributed File Systems.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	File system security, peer-to-peer algorithms, distributed systems, replication, fragmentation, assurance
25	Hafiz Farooq Ahmad, Hiroki Suguri	Dynamic Information Allocation through Mobile Agents to Achieve Load Balancing in Evolving Environment.	ISADS	2003	DBLP DOI BibTeX RDF	mobile agent, dynamic load balancing, autonomy, information service, high-assurance
25	Axel van Lamsweerde, Emmanuel Letier	From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.	RISSEF	2002	DBLP DOI BibTeX RDF	specification building process, safety, Goal-oriented requirements engineering, lightweight formal methods, high assurance systems
25	Jessica J. Baldis	Effects of spatial audio on memory, comprehension, and preference during desktop conferences.	CHI	2001	DBLP DOI BibTeX RDF	focal assurance, communication, perception, memory, audio, 3D, sound, user preference, comprehension, spatial
25	C. Cant, Simon R. Wiseman	Simple Assured Bastion Hosts.	ACSAC	1997	DBLP DOI BibTeX RDF	assured firewalls, compartmented mode workstation, ITSEC E3 assurance, evaluation effort reuse, bastion host architecture, unevaluated proxies, information exporting, trusted path export sanction, evaluated release checker, authorisation
25	Georg Heidenreich, Mark Minas, Detlef Kips	A New Approach to Consistency Control in Software Engineering.	ICSE	1996	DBLP BibTeX RDF	change tracking, computer-based software process management, high-level formalism, life cycle models, software representations, software engineering, compilers, standards, software quality, project management, software process, configuration management, quality assurance, version control, software development management, software project management, consistency control, ISO standards, ISO 9000
24	Reijo Savola	Towards a taxonomy for information security metrics.	QoP	2007	DBLP DOI BibTeX RDF	information security metrics, security assurance, network security, software security, information assurance
24	Wasim A. Al-Hamdani	Assessment of need and method of delivery for information security awareness program.	InfoSecCD	2006	DBLP DOI BibTeX RDF	information assurance curriculum, information security curriculum, information security, curriculum development, information assurance
23	David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen	Development of Security Software: A High Assurance Methodology.	ICFEM	2009	DBLP DOI BibTeX RDF
23	Alaa Aref El Masri, João Pedro Sousa	Limiting Private Data Exposure in Online Transactions: A User-Based Online Privacy Assurance Model.	CSE (3)	2009	DBLP DOI BibTeX RDF
23	Hans Löhr, Ahmad-Reza Sadeghi, Christian Stüble, Marion Weber, Marcel Winandy	Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels.	TRUST	2009	DBLP DOI BibTeX RDF
23	Claudio A. Ardagna, Massimo Banzi, Ernesto Damiani, Nabil El Ioini, Fulvio Frati	Assurance Evaluation for OSS Adoption in a Telco Context. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
23	Hung-Ta Pai, Yunghsiang S. Han	Power-Efficient Direct-Voting Assurance for Data Fusion in Wireless Sensor Networks.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Wireless sensor networks, Sensor fusion, Network-level security and protection
23	Manuel Sánchez, Óscar Cánovas Reverte, Gabriel López 0001, Antonio Fernandez Gómez-Skarmeta	Levels of Assurance and Reauthentication in Federated Environments.	EuroPKI	2008	DBLP DOI BibTeX RDF	reauthentication, LoA, eduGAIN, authorization, federation, SSO
23	Daniel Shoemaker 0001, Antonio Drommi, Jeffrey A. Ingalsbe, Nancy R. Mead	Integrating Secure Software Assurance Content with SE2004 Recommendations.	CSEE&T	2008	DBLP DOI BibTeX RDF
23	Dakai Zhu 0001, Xuan Qi, Hakan Aydin	Energy Management for Periodic Real-Time Tasks with Variable Assurance Requirements.	RTCSA	2008	DBLP DOI BibTeX RDF
23	Raman Kazhamiakin, Andreas Metzger, Marco Pistore	Towards Correctness Assurance in Adaptive Service-Based Applications.	ServiceWave	2008	DBLP DOI BibTeX RDF
23	Jan Jürjens, Daniel Reiß, David Trachtenherz	Model-Based Quality Assurance of Automotive Software.	MoDELS	2008	DBLP DOI BibTeX RDF
23	Ying Su, Jie Peng, Zhanming Jin	Geo-information quality assurance in disaster management.	ICDIM	2008	DBLP DOI BibTeX RDF
23	Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel	A Framework of Composable Access Control Definition, Enforcement and Assurance.	SCCC	2008	DBLP DOI BibTeX RDF
23	Chunying Zhao, Kang Zhang 0001	A Grammar-Based Reverse Engineering Framework for Behavior Verification.	HASE	2008	DBLP DOI BibTeX RDF
23	Barry E. Mullins, Timothy H. Lacey, Robert F. Mills, Joseph M. Trechter, Samuel D. Bass	How the Cyber Defense Exercise Shaped an Information-Assurance Curriculum.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
23	Peter Goldschmidt	Managing the false alarms: A framework for assurance and verification of surveillance monitoring.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Primary monitoring systems (PMS), Second tier monitoring, Simple environments, Suspected non-compliance event (SNCE), False positive management, Complex environments
23	Hani Jamjoom, Nikos Anerousis, Raymond B. Jennings III, Debanjan Saha	Service Assurance Process Re-Engineering Using Location-aware Infrastructure Intelligence.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
23	Shrirang Gadgil, Balakrishnan Dasarathy, Frederick Porter, Kirthika Parmeswaran, Ravichander Vaidyanathan	Fast Recovery and QoS Assurance in the Presence of Network Faults for Mission-Critical Applications in Hostile Environments.	RTCSA	2007	DBLP DOI BibTeX RDF
23	Christian Denger, Frank Elberzhager	Unifying Inspection Processes to Create a Framework to Support Static Quality Assurance Planning.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
23	Jon G. Hall, Derek Mannering, Lucia Rapanotti	Arguing safety with Problem Oriented Software Engineering.	HASE	2007	DBLP DOI BibTeX RDF
23	Rahul Singh, Al Farooq Salam	Semantic information assurance for secure distributed knowledge management: a business process perspective.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
23	Hiroyuki Sugahara, Takashi Kunifuji, Tetsunori Hattori, Yoshiyuki Hirano, Yamato Fukuta, Masayuki Matsumoto	Assurance Technologies for Signal Control System by Optical LAN.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	Signal control system, E-PON, Field Controller, Optical LAN, Logical Controller
23	G. Zayaraz 0001, P. Thambidurai, Madhu Srinivasan, Paul Rodrigues 0002	Software quality assurance through COSMIC FFP.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	COSMIC FPP, software architecture, complexity, coupling, quality attributes, cohesion
23	Andrew Marrington, James M. Hogan, Richard N. Thomas	Quality Assurance in a Student-Based Agile Software Engineering Process.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
23	A. Ghosh	Challenges in Mobile Networking and Information Assurance.	NCA	2005	DBLP DOI BibTeX RDF
23	Tai-Hoon Kim, Seung-youn Lee	A Relationship Between Products Evaluation and IT Systems Assurance.	KES (1)	2005	DBLP DOI BibTeX RDF
23	Jon Louis Bentley, Colin L. Mallows	How Much Assurance Does a PIN Provide?	HIP	2005	DBLP DOI BibTeX RDF
23	Brian D. Snow	We Need Assurance!	ACSAC	2005	DBLP DOI BibTeX RDF
23	Nicolae Costake	e-Governance: Some Performance and Quality Assurance Aspects.	EGOV	2004	DBLP DOI BibTeX RDF
23	John Launchbury	Galois: high assurance software.	ICFP	2004	DBLP DOI BibTeX RDF
23	Ajay Chander, Drew Dean, John C. Mitchell	A Distributed High Assurance Reference Monitor.	ISC	2004	DBLP DOI BibTeX RDF
23	Jim Alves-Foss, Carol Taylor, Paul W. Oman	A Multi-Layered Approach to Security in High Assurance Systems.	HICSS	2004	DBLP DOI BibTeX RDF
23	Yi Liu 0023, Taghi M. Khoshgoftaar	Reducing Overfitting in Genetic Programming Models for Software Quality Classification.	HASE	2004	DBLP DOI BibTeX RDF
23	Nancy R. Mead	SEHAS 2003: The Future of High-Assurance Systems.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF	SEHAS, ICSE, programming, software, workshop
23	Jeffrey M. Voas	Guest Editor's Introduction: Assuring Software Quality Assurance.	IEEE Softw.	2003	DBLP DOI BibTeX RDF
23	Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis	Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent.	eTX	2003	DBLP DOI BibTeX RDF
23	Donald J. Welch, Daniel Ragsdale, Wayne Schepens	Training for Information Assurance.	Computer	2002	DBLP DOI BibTeX RDF
23	Roger Cummings	The Evolution of Information Assurance.	Computer	2002	DBLP DOI BibTeX RDF
23	Michael R. Bussieck, Arne Stolbjerg Drud, Alexander Meeraus, Armin Pruessner	Quality Assurance and Global Optimization.	COCOS	2002	DBLP DOI BibTeX RDF
23	Takanori Ono, Khaled Ragab, Naohiro Kaji, Kinji Mori	Service Oriented Communication Technology for Achieving Assurance.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	Local Majority, Community, Autonomy, Information Service
23	Leesa Murray, Alena Griffiths, Paul A. Strooper	OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy.	ICECCS	2002	DBLP DOI BibTeX RDF
23	David A. Wagner 0001	Static Analysis and Software Assurance.	SAS	2001	DBLP DOI BibTeX RDF
23	Masayuki Matsumoto, S. Shimagaki, Dai Watanabe, Kinji Mori	Assurance Technologies for Autonomous Train on-Board Computer System.	FTDCS	2001	DBLP DOI BibTeX RDF
23	James R. Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez	Multi-Domain Surety Modeling and Analysis for High Assurance Systems.	ECBS	1999	DBLP DOI BibTeX RDF
23	Hareton K. N. Leung, Connie Poon	Multi-Agent Environment for Software Quality Assurance, AUTOQ.	EUROMICRO	1999	DBLP DOI BibTeX RDF
23	Paul Ammann, Paul E. Black	A Specification-Based Coverage Metric to Evaluate Test Sets.	HASE	1999	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV
23	David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao 0002	Object-Oriented Software Testing: Some Research and Development.	HASE	1998	DBLP DOI BibTeX RDF
23	Carol L. Hoover, Pradeep K. Khosla	Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools.	HASE	1998	DBLP DOI BibTeX RDF
23	Lawrence J. Najjar, J. Christopher Thompson, Jennifer J. Ockerman	A Wearable Computer for Quality Assurance Inspectors in a Food Processing Plant.	ISWC	1997	DBLP DOI BibTeX RDF
23	Gilberto Matos, James M. Purtilo, Elizabeth L. White	Automated Computation of Decomposable Synchronization Conditions.	HASE	1997	DBLP DOI BibTeX RDF
23	Xiaolei Qian	View-Based Access Control with High Assurance.	S&P	1996	DBLP DOI BibTeX RDF
23	Roshan K. Thomas, Ravi S. Sandhu	Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture.	ESORICS	1994	DBLP DOI BibTeX RDF	Replicated architecture, writeup, serial correctness, signaling channels, object-oriented databases, message-filtering
23	Barbara J. Taute	Quality assurance and maintenance application systems.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
23	David S. Alberts	The economics of software quality assurance.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
23	Ivonne Thomas, Christoph Meinel	An Attribute Assurance Framework to Define and Match Trust in Identity Attributes.	ICWS	2011	DBLP DOI BibTeX RDF	Attribute Assurance, Trust, Identity, Identity Federation
23	Samuel T. Redwine Jr.	Fitting Software Assurance into Higher Education.	Computer	2010	DBLP DOI BibTeX RDF	education, software life cycle, software assurance
23	Jay M. Teets, David P. Tegarden, Roberta S. Russell	Using Cognitive Fit Theory to Evaluate the Effectiveness of Information Visualizations: An Example Using Quality Assurance Data.	IEEE Trans. Vis. Comput. Graph.	2010	DBLP DOI BibTeX RDF	information visualization, quality assurance, Experimental design, user interface evaluation
23	Riyako Sakamoto, Khalid Mahmood 0003, Yuuya Kanamaru, Xiaodong Lu, Kinji Mori	Autonomous Decentralized Community Construction and Reconstruction Technology for Service Assurance.	SERVICES	2010	DBLP DOI BibTeX RDF	autonomous decentralized community system, construction and reconstruction, adaptability, accuracy, assurance
23	Chien-Cheng Lin, Fengyi Lin, Deron Liang	An Analysis of Using State of the Art Technologies to Implement Real-Time Continuous Assurance.	SERVICES	2010	DBLP DOI BibTeX RDF	Continuous Assurance, ISO/IEC 9126, Middleware, Risk management, Frauds, Interceptor
23	Kenji Taguchi 0001, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko	Aligning Security Requirements and Security Assurance Using the Common Criteria.	SSIRI	2010	DBLP DOI BibTeX RDF	security, requirements, assurance, Common Criteria
23	Moussa Ouedraogo, Haralambos Mouratidis, Djamel Khadraoui, Eric Dubois 0001	An Agent-Based System to Support Assurance of Security Requirements.	SSIRI	2010	DBLP DOI BibTeX RDF	Security assurance, Secure Tropos, multi-agents systems, Security requirements, security verification
23	Andrew Clarke, Eric Pardede	Outsourced XML Database: Query Assurance Optimization.	AINA	2010	DBLP DOI BibTeX RDF	Outsourced Database, Query Assurance, XML Database
23	Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa	A Dependability Case Editor with Pattern Library.	HASE	2010	DBLP DOI BibTeX RDF	assurance cases, dependability
23	Paul Madsen, Hiroki Itoh	Challenges to Supporting Federated Assurance.	Computer	2009	DBLP DOI BibTeX RDF	Web single sign-on, Assurance, Security & privacy, Identity management systems
23	Frank Salger, Stefan Sauer 0001, Gregor Engels	Integrated specification and quality assurance for large business information systems.	ISEC	2009	DBLP DOI BibTeX RDF	quality assurance, software specification
23	Shan Chang, Qingxi Li, Yong Qi, Jizhong Zhao, Yuan He, Xue Liu 0001	Safety assurance for archeologists using sensor network.	SenSys	2008	DBLP DOI BibTeX RDF	safety assurance, wireless sensor networks
23	Gwendolyn L. Kolfschoten, Paul Grünbacher, Robert O. Briggs	Modifiers for Quality Assurance in Group Facilitation.	CRIWG	2008	DBLP DOI BibTeX RDF	Quality Assurance, Facilitation, Collaboration Engineering, Modifiers, ThinkLets
23	Yolanta Beres, Adrian Baldwin, Simon Shiu	Model-based assurance of security controls.	QoP	2007	DBLP DOI BibTeX RDF	control effectiveness, models, risk, audit, assurance
23	Ernest Mnkandla, Barry Dwolatzky	Defining Agile Software Quality Assurance.	ICSEA	2006	DBLP DOI BibTeX RDF	agile quality assurance, software development, software quality, Agile methodologies
23	Dongfeng Wang, Farokh B. Bastani, I-Ling Yen	Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	dependability assurance, aspect-oriented modeling, process-control systems, Software decomposition
23	Pinny Sheoran, Oris Friesen, Barbara J. Huffman de Belón	Developing and Sustaining Information Assurance: The Role of Community Colleges (Part 1).	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	security training, education, information assurance, community college
23	John Zachary, John C. McEachen, Daniel W. Ettlich	Conversation Exchange Dynamics for Real-Time Network Monitoring and Anomaly Detection.	IWIA	2004	DBLP DOI BibTeX RDF	Network assurance, real-time network monitoring, visualization, denial of service, network anomaly detection
23	Volker Hammer	IT Design Critieria for Damage Reduction.	IWIA	2003	DBLP DOI BibTeX RDF	damage potential, damage reduction, socio-technical criteria, requirements analysis, information assurance, IT Security, design criteria
23	John R. James, Frank Mabry	Using the Trees to Find the Forest: Trustworthy Computing as a Systems-Level Issue.	IWIA	2003	DBLP DOI BibTeX RDF	enterprise processes, attack plan, model, architecture, component, information assurance
23	Johannes Lauber, Christian Steger, Reinhold Weiss	Applied Probabilistic AI for Online Diagnosis of a Safety-Critical System Based on a Quality Assurance Program.	SAC	1999	DBLP DOI BibTeX RDF	online diagnosis, probabilistic causal reasoning, dynamic Bayesian network, high-assurance system
23	Taghi M. Khoshgoftaar, Edward B. Allen	Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees.	HASE	1999	DBLP DOI BibTeX RDF	embedded systems, software metrics, software reliability, classification trees, CART, fault-prone modules, high assurance
23	Aileen Cater-Steel, Edmond P. Fitzgerald	Quality assurance certification: adoption by Australian software developers and its association with capability maturity.	APSEC	1997	DBLP DOI BibTeX RDF	software quality assurance certification, Australian software developers, capability maturity, government purchasing policies, QA certification, JAS-ANZ register, organisational characteristics, software quality, survey, CMM, questionnaire, Australia, Hong Kong, research project, Singapore
23	Sang Hyuk Son, Robert C. Beckinger, David A. Baker	DRDB: a distributed real-time database server for high-assurance time-critical applications.	COMPSAC	1997	DBLP DOI BibTeX RDF	DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment
23	Arif Ghafoor	High Assurance Systems Engineering.	COMPSAC	1996	DBLP DOI BibTeX RDF	high assurance systems engineering, hardware engineering, high performance systems, highly specialized hardware, reliability, software reliability, safety, real time applications, design approaches, complex software systems, formal approaches
23	Sadahiro Isoda	A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance.	APSEC	1995	DBLP DOI BibTeX RDF	Capture-and-recapture, reliability assurance, testing, metrics, hypergeometric distribution
23	Rufus H. Cofer, T. J. Sanders	STADIUM: a new tool for high assurance in systems design.	ICECCS	1995	DBLP DOI BibTeX RDF	STADIUM high assurance tool, large system development, systems engineering phase, operational variabilities, system performance levels, search effects, worst-case system design, statistically based system level simulation, statistically based subsystem level simulation, dual-use technologies, defense conversions, complex commercial systems, design of experiments methodology, circuit level variabilities, subsystem level variabilities, system level variabilities, simulation, software tools, software tool, systems design, systems analysis, systems engineering, system performances, design of experiments, manufacturing variabilities, complex system development
23	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
21	Shao-Fang Wen, Basel Katt	Exploring the role of assurance context in system security assurance evaluation: a conceptual model.	Inf. Comput. Secur.	2024	DBLP DOI BibTeX RDF
21	Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi 0003, Kerianne L. Hobbs	Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture.	CoRR	2023	DBLP DOI BibTeX RDF
21	Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng	Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases.	SAFECOMP	2023	DBLP DOI BibTeX RDF
21	Andrzej Wardzinski, Aleksander Jarzebowicz	Development of the System Assurance Reference Model for Generating Modular Assurance Cases.	PRDC	2023	DBLP DOI BibTeX RDF
21	Aftab Alam Janisar, Khairul Shafee Kalid, Aliza bt Sarlan, Abdul Rehman Gilal	Security Requirements Assurance: An Assurance Case Perspective.	ICSECS	2023	DBLP DOI BibTeX RDF
21	Shao-Fang Wen, Ankur Shukla, Basel Katt	Developing Security Assurance Metrics to Support Quantitative Security Assurance Evaluation.	J. Cybersecur. Priv.	2022	DBLP DOI BibTeX RDF
21	Vincent Messié	Trust mechanisms for connectivity service assurance on multi- actor infrastructures. (Mécanismes de confiance pour l'assurance de services de connectivités sur infrastructures multi- acteurs).		2022	RDF