Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Shafi Goldwasser, Joe Kilian	Primality Testing Using Elliptic Curves.	J. ACM	1999	DBLP DOI BibTeX RDF	distribution of primes, prime certification, prime generation, elliptic curves, group theory, primes, Las Vegas algorithms
22	Jeffrey M. Voas	Can Generic Software Be Assured?	COMPSAC	1999	DBLP DOI BibTeX RDF	independent verification and validation, testing, certification, COTS software
22	Rolf Oppliger, Andreas Greulich, Peter Trachsel	A Distributed Certificate Management System (DCMS) Supporting Group-Based Access Controls.	ACSAC	1999	DBLP DOI BibTeX RDF	certification authority (CA), Public key cryptography, public key infrastructure (PKI), public key certificate
22	Carlisle Adams, Steve Lloyd	Profiles and protocols for the Internet Public-Key Infrastructure.	FTDCS	1997	DBLP DOI BibTeX RDF	Internet Public-Key Infrastructure, X.509 authentication framework, IETF PKIX working group, CRL profile, operational protocols, certificate management protocols, certificate policy, time stamp protocols, notrary protocols, Internet, protocols, standardization, certification, X.509 certificate
22	Vijay Varadharajan, Rajan Shankaran, Michael Hitchens	Security services and public key infrastructure for ATM networks.	LCN	1997	DBLP DOI BibTeX RDF	ATM protocol stack, security layer, data origin authentication, user plane, key establishment protocol, ATM signaling protocol, call setup procedures, ATM nodes, public key certificate retrieval, public key certificate distribution, B-ISDN Protocol Reference Model, integrity, public key cryptography, confidentiality, ATM networks, public key infrastructure, Certification Authority, security services
22	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
22	Rolf Oppliger, Andres Albanese	Distance education and on-line universities.	WETICE	1996	DBLP DOI BibTeX RDF	online universities, commercial service providers, lecture dissemination, DiRK, distributed registration, conferencing system, Internet Multicast Backbone, session registration tool, validation, certification, distance education, educational technology, key distribution, MBone
22	Joseph G. Maley	Enterprise security infrastructure.	WETICE	1996	DBLP DOI BibTeX RDF	enterprise security infrastructure, information revolution, public key technology, enterprise planners, public key distribution, cross certification, business units, corporate management participation, electronic commerce, business data processing, trust models, electronic data interchange, business process reengineering, information resources, commercial products, security infrastructure
22	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality
22	Richard C. Linger	Cleanroom Process Model.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	cleanroom process model, team-oriented process, code increments, statistical quality certification, software quality, program verification, quality control, statistical quality control, correctness verification, cleanroom software engineering
22	Volkmar H. Haase, Günter R. Koch, Hans-Jürgen Kugler, Paul Decrinis	Bootstrap: Fine-Tuning Process Assessment.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	European Strategic Program for Research in Information Technology, European software industry, nondefense sectors, software-producing units, Bootstrap project, attribute-based method, ISO 9001 certification, standards, software quality, software metrics, process improvement, quantitative measurement, process assessment, DP industry, process maturity, software-process assessment, Software Engineering Institute
20	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Resource Usage Analysis and Its Application to Resource Certification.	FOSAD	2009	DBLP DOI BibTeX RDF
20	Ken Buszta	Challenges in Certification and Accreditation.	IT Prof.	2008	DBLP DOI BibTeX RDF
20	Stephen B. Seidman	Software Engineering Certification Schemes.	Computer	2008	DBLP DOI BibTeX RDF
20	María Idoia Ruiz-Fuertes, Francesc D. Muñoz-Escoí, Hendrik Decker, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil	Integrity Dangers in Certification-Based Replication Protocols.	OTM Workshops	2008	DBLP DOI BibTeX RDF
20	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automated Certification of Non-Interference in Rewriting Logic.	FMICS	2008	DBLP DOI BibTeX RDF
20	Jingjing Wu, Jiwu Jing, Jingqiang Lin	A Decentralized Certification Authority Based on Real World Trust Relationships.	CSSE (3)	2008	DBLP DOI BibTeX RDF
20	Konstantinos J. Charatsis, Athanasios P. Kalogeras, Christos Alexakos, Panagiotis Konstantinopoulos, Joanna Iliopoulou Georgudaki	Aquaculture production quality certification model utilizing web semantics and wireless technologies.	ETFA	2008	DBLP DOI BibTeX RDF
20	Sergejus Sosunovas, Olegas Vasilecas	Four security certification levels for IT Managers and Staff in the Public Sector.	SECURWARE	2007	DBLP DOI BibTeX RDF
20	Nicholas Tate, Sharman Lichtenstein, Matthew J. Warren	Toward User Evaluation of IT Security Certification Schemes: A Preliminary Framework.	SEC	2007	DBLP DOI BibTeX RDF
20	Marcelo Jenkins	Experience in Training Software Quality Engineers to Achieve a Professional Certification.	CSEE&T	2007	DBLP DOI BibTeX RDF
20	Adam A. Porter	Towards a Distributed Continuous Certification Process.	IPDPS	2007	DBLP DOI BibTeX RDF
20	Damien Sauveron, Pierre Dusart	Which Trust Can Be Expected of the Common Criteria Certification at End-User Level?	FGCN (2)	2007	DBLP DOI BibTeX RDF
20	Martin Svéda, Vladimír Oplustil	Experience with integration and certification of COTS based embedded system into advanced avionics system.	SIES	2007	DBLP DOI BibTeX RDF
20	Panuchart Bunyakiati, Anthony Finkelstein, David S. Rosenblum	The Certification of Software Tools with respect to Software Standards.	IRI	2007	DBLP DOI BibTeX RDF
20	Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	Component Quality Assurance: Towards a Software Component Certification Process.	IRI	2007	DBLP DOI BibTeX RDF
20	Sang-Guk Jung, Shim-Seok Lee, Yong-Bum Park, Jang-Kyung Kim	Development of URC Testing & Certification System.	CIRA	2007	DBLP DOI BibTeX RDF
20	Thomas Wölfl, Kai Fischbach	A Method for the Certification and the Delegation of Trust in Distributed Systems.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
20	María-Dolores Cano, Ruben Toledo-Valera, Fernando Cerdán	A Certification Authority for Elliptic Curve X.509v3 Certificates.	ICNS	2007	DBLP DOI BibTeX RDF	security, wireless communications, elliptic curve cryptography, digital certificates
20	Francesco Gangi, Rosaria Lombardo	The Evaluation of Venture-Backed IPOs - Certification Model versus Adverse Selection Model, Which Does Fit Better?.	GfKl	2007	DBLP DOI BibTeX RDF
20	Benjamin Alfonsi	Wi-Fi Certification Program Aims to Boost Battery Life.	IEEE Distributed Syst. Online	2006	DBLP DOI BibTeX RDF	Wi-Fi Alliance, power save
20	Jan Camenisch, Dieter Sommer, Roger Zimmermann	A General Certification Framework with Applications to Privacy-Enhancing Certificate Infrastructures.	SEC	2006	DBLP DOI BibTeX RDF
20	Joanne Kaczmarek, Thomas G. Habing, Janet Eke	Repository software evaluation using the audit checklist for certification of trusted digital repositories.	JCDL	2006	DBLP DOI BibTeX RDF	digital preservation management, evaluation, repositories
20	Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán	Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.	SAFECOMP	2006	DBLP DOI BibTeX RDF
20	Donald J. Bagert, Michael J. Lutz	Visioning a Certification Exam for Graduating Software Engineers.	CSEE&T	2006	DBLP DOI BibTeX RDF
20	Gabor Karsai, Anantha Narayanan	Towards Verification of Model Transformations Via Goal-Directed Certification.	ASWSD	2006	DBLP DOI BibTeX RDF	Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation
20	Ha-Yong Lee, Hae Sool Yang, Suk-hyung Hwang	Construction of Quality Test and Certification System for Package Software.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
20	Ewen Denney, Bernd Fischer 0002	Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).	ASE	2006	DBLP DOI BibTeX RDF
20	Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni	Issues in performance certification for high-level automotive control software.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
20	Mingqiang Chen, Masatoshi Yoshikawa	Managing XML Documents with Time Certification using Database.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
20	Kemal Bicakci, Bruno Crispo, Andrew S. Tanenbaum	How to incorporate revocation status information into the trust metrics for public-key certification.	SAC	2005	DBLP DOI BibTeX RDF	PKI, revocation, public key certificates, trust metrics
20	Tom Wilsdon, Jill Slay	Digital Forensics: Exploring Validation, Verification and Certification.	SADFE	2005	DBLP DOI BibTeX RDF
20	Thorsten Scholz, Ingo J. Timm, Rainer Spittel	An Agent Architecture for Ensuring Quality of Service by Dynamic Capability Certification.	MATES	2005	DBLP DOI BibTeX RDF
20	Peter Amey, Roderick Chapman, Neil White	Smart Certification of Mixed Criticality Systems.	Ada-Europe	2005	DBLP DOI BibTeX RDF
20	Casey G. Cegielski	Who values technology certification?	Commun. ACM	2004	DBLP DOI BibTeX RDF
20	Dirk Bade, Georg Nüssel, Gerd Wilts	Online feedback by tests and reporting for elearning and certification programs.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	eLearning, blended learning, online tests
20	Jutta Eusterbrock	Context-Aware Code Certification.	ASE	2004	DBLP DOI BibTeX RDF
20	Suzhen Lin, A. Sai Sudhir, G. Manimaran	ConFiRM-DRTS: A Certification Framework for Dynamic Resource Management in Distributed Real-Time Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	Feedback scheduling, Virtual homogeneity, RTCORBA, Distributed real-time systems
20	Johann Schumann	Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.	TABLEAUX	2003	DBLP DOI BibTeX RDF
20	Guillermo Rodríguez-Ortiz	Knowledge Management and Quality Certification in a Research and Development Environment.	ENC	2003	DBLP DOI BibTeX RDF
20	Xavier Rival	Abstract Interpretation-Based Certification of Assembly Code.	VMCAI	2003	DBLP DOI BibTeX RDF	compilation, Abstract Interpretation, Static program analysis
20	Matthew Stillerman, Dexter Kozen	Efficient Code Certification for Open Firmware.	DISCEX (2)	2003	DBLP DOI BibTeX RDF
20	Ulf T. Wiger, Gösta Ask, Kent Boortz	World-class product certification using Erlang.	Erlang Workshop	2002	DBLP DOI BibTeX RDF	testing, erlang
20	IlYoung Chung, Chong-Sun Hwang	Increasing Concurrency of Transactions Using Delayed Certification in Mobile DBMs.	Mobile Data Management	2001	DBLP DOI BibTeX RDF
20	Derek Fowler, Phil Bennett	IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems??	SAFECOMP	2000	DBLP DOI BibTeX RDF
20	Jeffrey M. Voas	Guest Editor's Introduction: Certification-Reducing the Hidden Costs of Poor Quality.	IEEE Softw.	1999	DBLP DOI BibTeX RDF
20	Jacques Brygier, Marc Richard-Foy	Certification of Ada Real-Time Executives for Safety Critical Applications.	Ada-Europe	1993	DBLP DOI BibTeX RDF
20	Alexander Thomasian, In Kyung Ryu	Analysis of Some Optimistic Concurrency Control Schemes Based on Certification.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
20	Jim Poirot, Arthur Luehrmann, Cathleen A. Norris, Harriet G. Taylor, Robert Taylor 0004	Proposed curriculum for programs leading to teacher certification in computer science.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
16	Paulo Cortez 0001, Juliana Teixeira, António Cerdeira, Fernando Almeida, Telmo Matos, José Reis	Using Data Mining for Wine Quality Assessment.	Discovery Science	2009	DBLP DOI BibTeX RDF	Sensory Preferences, Variable and Model Selection, Wine Science, Support Vector Machines, Sensitivity Analysis, Ordinal Regression
16	Sandip Ray, Kecheng Hao, Yan Chen 0001, Fei Xie, Jin Yang 0006	Formal Verification for High-Assurance Behavioral Synthesis.	ATVA	2009	DBLP DOI BibTeX RDF
16	Constanta-Nicoleta Bodea, Maria Dascalu 0001	A Parameterized Web-Based Testing Model for Project Management.	ICWL	2009	DBLP DOI BibTeX RDF	concept space graphs, testing, metadata, project management, web ontology language
16	Xiangyi Hu, Guifen Zhao, Guanning Xu	Security Scheme for Online Banking Based on Secret Key Encryption.	WKDD	2009	DBLP DOI BibTeX RDF
16	Victor M. Spitzer, Michael J. Ackerman	The Visible Human® at the University of Colorado 15 years later.	Virtual Real.	2008	DBLP DOI BibTeX RDF	Virtual anatomy, Visible Human, Surgical simulation, Anatomy, Medical education
16	Ricardo Felipe Custódio, Martín A. Gagliotti Vigil, Juliano Romani, Fernando Carlos Pereira, Joni da Silva Fraga	Optimized Certificates - A New Proposal for Efficient Electronic Document Signature Validation.	EuroPKI	2008	DBLP DOI BibTeX RDF
16	Pierre Courtieu, Julien Forest, Xavier Urbain	Certifying a Termination Criterion Based on Graphs, without Graphs.	TPHOLs	2008	DBLP DOI BibTeX RDF
16	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
16	Deok-Gyu Lee, Jong Wook Han, Jong Hyuk Park, Sang-Soo Yeo, Young-Sik Jeong	Time Stamp Protocol for Smart Environment Services.	UIC	2008	DBLP DOI BibTeX RDF
16	Annika Nietzio, Christophe Strobbe, Eric Velleman	The Unified Web Evaluation Methodology (UWEM) 1.2 for WCAG 1.0.	ICCHP	2008	DBLP DOI BibTeX RDF
16	Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup	Verification and semantic parallelization of goal-driven autonomous software.	Autonomics	2008	DBLP DOI BibTeX RDF	autonomous space software, semantic parallelization, C++, nonblocking synchronization
16	Yannis Charalabidis, Fenareti Lampathaki, Demetrios Sarantis, Aikaterini-Maria Sourouni, Spiros Mouzakitis, George Gionis, Sotirios Koussouris, Christos Ntanos, Christos Tsiakaliaris, Vasilios Tountopoulos, Dimitris Askounis	The Greek Electronic Government Interoperability Framework: Standards and Infrastructures for One-Stop Service Provision.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
16	Rida A. Bazzi, Goran Konjevod	On the establishment of distinct identities in overlay networks.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Overlay networks, Peer-to-peer systems, Sybil attack, Identity verification, Distance geometry
16	Franco Frattolillo	Watermarking Protocol for Web Context.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
16	Parsa Mirhaji, Dean Allemang, Robert Coyne, S. Ward Casscells	Improving the Public Health Information Network through Semantic Modeling.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	PHIN, Public Health Information Network, semantic Web, healthcare, reference architecture, CDC
16	Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss	Implementing middleware for content filtering and information flow control.	CSAW	2007	DBLP DOI BibTeX RDF	GIOP, MILS, security, CORBA, safety, MLS, common criteria, high assurance, guards, IIOP
16	Eun-Ju Park, Haeng-Kon Kim, Roger Y. Lee	Frameworks of Integration Repository for Software Process Improvement using SOA.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
16	Hans Russo, Andreas Turk	Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation.	SAFECOMP	2007	DBLP DOI BibTeX RDF
16	Vinu V. Das	A Tree Based Buyer-Seller Watermarking Protocol.	SCSS (1)	2007	DBLP DOI BibTeX RDF
16	Valentina Casola, Jesus Luna, Oscar Manso, Nicola Mazzocca, Manel Medina, Massimiliano Rak	Interoperable Grid PKIs Among Untrusted Domains: An Architectural Proposal.	GPC	2007	DBLP DOI BibTeX RDF
16	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
16	Yixun Guo, Zhiduan Xu	A Model of Lean Supplier Management Based on the Lean Production.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Lean production, Supplier relationship management, Lean supplier management, Performance evaluation, Quality assurance, Operations management
16	Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
16	Ken Chen, Cheng Xu 0001, Fei Yu 0001	The Implementation of Evidence Theory in Mobile E-Business Payment.	IITA	2007	DBLP DOI BibTeX RDF	Mobile E-Business, Network Payment, Evidence Reasoning, Wireless Application Protocol
16	Ashish Gehani, Ulf Lindqvist	Bonsai: Balanced Lineage Authentication.	ACSAC	2007	DBLP DOI BibTeX RDF
16	Sangheethaa Sukumaran, R. Elijah Blessing	Reputation Based Localized Access Control for Mobile Ad-Hoc Networks.	ADHOC-NOW	2006	DBLP DOI BibTeX RDF
16	Omar Batarfi, Lindsay F. Marshall	Defining Criteria for Rating an Entity's Trustworthiness Based on Its Certificate Policy.	ARES	2006	DBLP DOI BibTeX RDF
16	Víctor Torres, Jaime Delgado, Silvia Llorente	An Implementation of a Trusted and Secure DRM Architecture.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	Secure content management, multimedia content protection, digital rights management systems
16	Bo Man Kim, Kyu Young Choi, Dong Hoon Lee 0001	Disaster Coverable PKI Model Utilizing the Existing PKI Structure.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
16	Darja Smite, Nils Brede Moe	An ISO 9001: 2000 Certificate and Quality Awards from Outside - What's Inside? - A Case Study.	PROFES	2006	DBLP DOI BibTeX RDF
16	Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	A Software Component Quality Model: A Preliminary Evaluation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
16	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
16	Mohamed Adel Serhani, Rachida Dssouli, Abdelhakim Hafid, Houari A. Sahraoui	A QoS Broker Based Architecture for Efficient Web Services Selection.	ICWS	2005	DBLP DOI BibTeX RDF
16	Bob Spencer	The Value of Conformance Testing and a Look at the SAF Test Project.	ISAS	2005	DBLP DOI BibTeX RDF
16	Barbara Simons	Computerized Voting Machines: A View from the Trenches.	ESORICS	2005	DBLP DOI BibTeX RDF
16	Christian Dorninger	Educational Standards in School Informatics in Austria.	ISSEP	2005	DBLP DOI BibTeX RDF
16	Haiyun Luo, Jiejun Kong, Petros Zerfos, Songwu Lu, Lixia Zhang 0001	URSA: ubiquitous and robust access control for mobile ad hoc networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	self-organized access control, mobile ad hoc networks
16	Josep Domingo-Ferrer	On the Synergy Between Certificate Verification Trees and PayTree-like Micropayments.	EuroPKI	2004	DBLP DOI BibTeX RDF	PKI and eCommerce, Certificate Directories, Coin-Based Payments, PayTree, Certificate Verification Trees, Protocols, Micropayments
16	Antonio Lioy, Marius Marian, Natalia Moltchanova, Massimiliano Pala	The EuroPKI Experience.	EuroPKI	2004	DBLP DOI BibTeX RDF
16	Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp	How Explicit Are the Barriers to Failure in Safety Arguments?	SAFECOMP	2004	DBLP DOI BibTeX RDF
16	Markus Jakobsson, Susanne Wetzel	Efficient attribute authentication with applications to ad hoc networks.	Vehicular Ad Hoc Networks	2004	DBLP DOI BibTeX RDF	attribute authority, hash graphs, light-weight, spatial Merkle tree, cryptography, recommendation, certificate