Search results for "Verification service"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Clark D. Thomborson	A Model for New Zealand's Identity Verification Service.	TRUST	2008	DBLP DOI BibTeX RDF	authentication, trust, Identification, security modelling
2	María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero	A Fast Algebraic Web Verification Service.	RR	2007	DBLP DOI BibTeX RDF
1	Franz J. Rammig, Yuhong Zhao, Sufyan Samara	On-Line Model Checking as Operating System Service.	SEUS	2009	DBLP DOI BibTeX RDF	On-line model checking, Verification service, Real-time operating system
1	Masana Murase, Kanna Shimizu, Wilfred Plouffe, Masaharu Sakamoto	Effective implementation of the cell broadband engineTM isolation loader.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	cell broadband engine(tm), encrypt-then-sign, substituted-ciphertext attack, multi-core, isolation
1	Taku Nakahara, Ryo Hashimoto, Hiroaki Nakagawa, Kenji Monde, Nobuaki Miura, Shin-Ichiro Nishimura	Glycoconjugate Data Bank: Structures - an annotated glycan structure database and N-glycan primary structure verification service.	Nucleic Acids Research	2008	DBLP DOI BibTeX RDF
1	Alexander Heitzmann, Bernardo Palazzi, Charalampos Papamanthou, Roberto Tamassia	Efficient integrity checking of untrusted network storage.	StorageSS	2008	DBLP DOI BibTeX RDF	authenticated data structures, untrusted outsourced storage, security, data integrity
1	Christian Emig, Frank Brandt, Sebastian Abeck, Jürgen Biermann, Heiko Klarl	An Access Control Metamodel for Web Service-Oriented Architecture.	ICSEA	2007	DBLP DOI BibTeX RDF
1	Michelangelo Interesse, Roberto Dabbicco	Experience Paper: Beyond Year 2000 Remediation: The Compliance Verification: A Case Study. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF	y2k, verification, validation, compliance, independence, year 2000
1	Qi He, Katia P. Sycara, Zhongmin Su	A Solution to Open Standard of PKI.	ACISP	1998	DBLP DOI BibTeX RDF
1	Anand R. Setlur, Thomas Jacobs	Results of a speaker verification service trial using HMM models.	EUROSPEECH	1995	DBLP BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )