Search results for "SSL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Nachiketh R. Potlapally, Srivaths Ravi 0001, Anand Raghunathan, Ruby B. Lee, Niraj K. Jha	Configuration and Extension of Embedded Processors to Optimize IPSec Protocol Execution.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
11	Joaquín García-Alfaro, Guillermo Navarro-Arribas	Prevention of Cross-Site Scripting Attacks on Current Web Applications.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	Security Policies, Software Protection, Code Injection Attacks
11	Ryota Narita, Kazuhito Murakami, Tadashi Naruse	Strategic Layout of Multi-cameras Based on a Minimum Risk Criterion.	RoboCup	2007	DBLP DOI BibTeX RDF
11	Kazutoki Otake, Kazuhito Murakami, Tadashi Naruse	Precise Extraction of Partially Occluded Objects by Using HLAC Features and SVM.	RoboCup	2007	DBLP DOI BibTeX RDF
11	Kazuya Odagiri, Nao Tanoue, Rihito Yaegashi, Masaharu Tadauchi, Naohiro Ishii	New Access Control on DACS Scheme.	APNOMS	2007	DBLP DOI BibTeX RDF	Access control DACS Scheme Packet filtering
11	Raphael C.-W. Phan, Serge Vaudenay	Security-Preserving Asymmetric Protocol Encapsulation.	ICISC	2007	DBLP DOI BibTeX RDF
11	Dorina C. Petriu, C. Murray Woodside, Dorin Bogdan Petriu, Jing Xu 0024, Toqeer Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens	Performance analysis of security aspects in UML models.	WOSP	2007	DBLP DOI BibTeX RDF	security, UML, model transformations, software performance engineering, aspect-oriented modeling
11	Amaury Nègre, Cédric Pradalier, Matthew Dunbabin	Robust Vision-Based Underwater Target Identification and Homing Using Self-Similar Landmarks.	FSR	2007	DBLP DOI BibTeX RDF
11	Mingliang Zhu, Weiming Hu, Xi Li 0001, Ou Wu	Customizable Instance-Driven Webpage Filtering Based on Semi-Supervised Learning.	Web Intelligence	2007	DBLP DOI BibTeX RDF
11	Adam L. Young, Moti Yung	Space-Efficient Kleptography Without Random Oracles.	Information Hiding	2007	DBLP DOI BibTeX RDF	twisted elliptic curves, elliptic curve, Key exchange, kleptography
11	Roberto Esposito, Daniele Paolo Radicioni	Trip Around the HMPerceptron Algorithm: Empirical Findings and Theoretical Tenets.	AI*IA	2007	DBLP DOI BibTeX RDF
11	Daniele Paolo Radicioni, Roberto Esposito	Tonal Harmony Analysis: A Supervised Sequential Learning Approach.	AI*IA	2007	DBLP DOI BibTeX RDF	AI in Art and Music, Machine learning, Cognitive Modeling, Music Analysis
11	Katsuyuki Okeya, Tsuyoshi Takagi	Security analysis of CRT-based cryptosystems.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Multi-Prime RSA, PKCS #1, RSA, Side channel attacks, Factoring, Chinese remainder theorem
11	Angelos D. Keromytis, Jason L. Wright, Theo de Raadt, Matthew Burnside	Cryptography as an operating system service: A case study.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	authentication, digital signatures, Encryption, hash functions, cryptographic protocols
11	Denis Verdon	Security policies and the software developer.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
11	Baris Kayayurt, Tugkan Tuglular	End-to-end security implementation for mobile devices using TLS protocol.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF
11	Shun'ichi Yamamoto, Kazuhiro Nakadai, Mikio Nakano, Hiroshi Tsujino, Jean-Marc Valin, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno	Real-Time Robot Audition System That Recognizes Simultaneous Speech in The Real World.	IROS	2006	DBLP DOI BibTeX RDF
11	Ji Wang 0001, Xiaodong Yi 0002, Xuejun Yang	Towards a Framework for Scalable Model Checking of Concurrent C Programs.	ISoLA	2006	DBLP DOI BibTeX RDF
11	Wassim Itani, Ayman I. Kayssi, Ali Chehab	An enterprise policy-based security protocol for protecting relational database network objects.	IWCMC	2006	DBLP DOI BibTeX RDF	customizable security, policy-driven security, security, relational databases
11	Pascal Urien, Mesmin Dandjinou	Designing Smartcards for Emerging Wireless Networks.	CARDIS	2006	DBLP DOI BibTeX RDF
11	Zhenxing Luo, NuerMaimaiti Heilili, Dawei Xu, Chen Zhao 0001, Zuoquan Lin	Web Application Security Gateway with Java Non-blocking IO.	NGITS	2006	DBLP DOI BibTeX RDF
11	Angelos Stavrou, Michael E. Locasto, Angelos D. Keromytis	W3Bcrypt: Encryption as a Stylesheet.	ACNS	2006	DBLP DOI BibTeX RDF
11	Hong-qiang Li, Chang-yun Miao	Hardware Implementation of Hash Function SHA-512.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
11	Yuping Deng, Xiaowei Guo, Xiamu Niu	A New Design Scheme of Role-Based Access Control Based on PKI.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
11	Wen Wu, Jie Yang 0001	SmartLabel: an object labeling tool using iterated harmonic energy minimization.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	gaussian random field, harmonic energy minimization, object labeling, semi-supervised learning
11	Alexandra Boldyreva, Marc Fischlin	On the Security of OAEP.	ASIACRYPT	2006	DBLP DOI BibTeX RDF
11	Ramon Nou, Jordi Guitart, David Carrera 0001, Jordi Torres	Experiences with Simulations - A Light and Fast Model for Secure Web Applications.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
11	Haeryong Park, Hak Soo Ju, Kilsoo Chun, Jaeil Lee, Seungho Ahn, Bongnam Noh	The Algorithm to Enhance the Security of Multi-Agent in Distributed Computing Environment.	ICPADS (2)	2006	DBLP DOI BibTeX RDF	ID-based threshold decryption(ID-ThD), Dynamic group management, Wireless network, Key escrow
11	Vijayakrishnan Pasupathinathan, Josef Pieprzyk, Huaxiong Wang, Joo Yeon Cho	Formal analysis of card-based payment systems in mobile devices.	ACSW	2006	DBLP BibTeX RDF	card-based systems, formal verification, mobile payment, electronic payments
11	Seoung-Hyeon Lee, Byung-Sun Choi, Jae-Seung Lee, Ki-Young Moon, Jae-Kwang Lee	VO Authentication Framework in Grid Environment Using Digital Signature.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
11	Jan Jürjens	Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.	ASE	2006	DBLP DOI BibTeX RDF
11	Zvi Gutterman, Benny Pinkas, Tzachy Reinman	Analysis of the Linux Random Number Generator.	S&P	2006	DBLP DOI BibTeX RDF
11	Nachiketh R. Potlapally, Srivaths Ravi 0001, Anand Raghunathan, Ruby B. Lee, Niraj K. Jha	Impact of Configurability and Extensibility on IPSec Protocol Execution on Embedded Processors.	VLSI Design	2006	DBLP DOI BibTeX RDF	Performance, Embedded Systems, Security Protocols, Configurability, Extensibility, Embedded Processors, IPSec, Embedded Security
11	Jianzhong Huang 0001, Changsheng Xie, Xu Li	iOBS3: An iSCSI-Based Object Storage Security System.	CIS	2006	DBLP DOI BibTeX RDF
11	Yuqing Zhang 0001, Suping Jia	Common Program Analysis of Two-Party Security Protocols Using SMV.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
11	Anil Kumar Venkataiahgari, J. William Atwood, Mourad Debbabi	Secure E-Commerce Transactions for Multicast Services.	CEC/EEE	2006	DBLP DOI BibTeX RDF
11	Richard J. Edell, Peter Kruus, Uri Meth	Tracing HTTP Activity Through Non-cooperating HTTP Proxies (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF
11	Divya Arora, Anand Raghunathan, Srivaths Ravi 0001, Murugan Sankaradass, Niraj K. Jha, Srimat T. Chakradhar	Software architecture exploration for high-performance security processing on a multiprocessor mobile SoC.	DAC	2006	DBLP DOI BibTeX RDF	computation offloading, software partitioning
11	Adam Stubblefield, Aviel D. Rubin, Dan S. Wallach	Managing the Performance Impact of Web Security.	Electron. Commer. Res.	2005	DBLP DOI BibTeX RDF	web performance scalability, security, Internet protocols
11	Zishuang (Eileen) Ye, Sean W. Smith, Denise L. Anthony	Trusted paths for browsers.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	HCISEC, Web browser security, Trust path
11	Tobias Straub, Thilo-Alexander Ginkel, Johannes Buchmann 0001	A Multipurpose Delegation Proxy for WWW Credentials.	EuroPKI	2005	DBLP DOI BibTeX RDF	Credential Delegation, WWW Authentication, Usability, X.509 Certificate, Man-In-The-Middle
11	Mauro Brunato, Danilo Severina	WilmaGate: a new open access gateway for hotspot management.	WMASH	2005	DBLP DOI BibTeX RDF	access gateways, open access networks, wireless networks, authentication, authorization
11	Mi Zhang 0001, Zunping Cheng, Ziji Ma, Binyu Zang	A Security Model Design in Web Service Environment.	CIT	2005	DBLP DOI BibTeX RDF
11	Vicenç Beltran 0001, David Carrera 0001, Jordi Guitart, Jordi Torres, Eduard Ayguadé	A Hybrid Web Server Architecture for Secure e-Business Web Applications.	HPCC	2005	DBLP DOI BibTeX RDF
11	Kevin J. Ma, Radim Bartos	Performance Impact of Web Service Migration in Embedded Environments.	ICWS	2005	DBLP DOI BibTeX RDF
11	Jiani Guo, Laxmi N. Bhuyan, Raj Kumar, Sujoy Basu	QoS Aware Job Scheduling in a Cluster-Based Web Server for Multimedia Applications.	IPDPS	2005	DBLP DOI BibTeX RDF
11	Jean-Michel Sahut	Internet Payment Solutions: Comparative Evaluation and Key Factors of Success.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
11	Patroklos G. Argyroudis, Donal O'Mahony	Towards Flexible Authorization Management.	ISCC	2005	DBLP DOI BibTeX RDF
11	Changshe Ma, Kefei Chen, Dong Zheng 0001, Shengli Liu 0001	Efficient and Proactive Threshold Signcryption.	ISC	2005	DBLP DOI BibTeX RDF	threshold signcryption, threshold approach, Network security, provable security, asynchronous network
11	Young Whan Lee, Byung Mun Choi	(SE-33)Intelligent ID-Based Threshold System by an Encryption and Decryption from Bilinear Pairing.	KES (2)	2005	DBLP DOI BibTeX RDF
11	Abdelhamid Bouchachia	Learning with Hybrid Data.	HIS	2005	DBLP DOI BibTeX RDF
11	Kazuhiro Ogata 0001, Kokichi Futatsugi	Equational Approach to Formal Analysis of TLS.	ICDCS	2005	DBLP DOI BibTeX RDF	security, verification, algebraic specification, rewriting, interactive theorem proving
11	Zoran Duric	IPS - Secure Internet Payment System.	ITCC (1)	2005	DBLP DOI BibTeX RDF
11	John M. Brooke, Michael S. Parkin	A PDA Client for the Computational Grid.	WETICE	2005	DBLP DOI BibTeX RDF
11	Jean Goubault-Larrecq, Fabrice Parrennes	Cryptographic Protocol Analysis on Real C Code.	VMCAI	2005	DBLP DOI BibTeX RDF
11	Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang	Verification of C Programs using Slicing Execution.	QSIC	2005	DBLP DOI BibTeX RDF
11	Dmitry P. Zegzhda, Alex M. Vovk	Secure Hybrid Operating System "Linux over Fenix".	MMM-ACNS	2005	DBLP DOI BibTeX RDF
11	Sungwoo Tak, Eun Kyo Park	A Software Framework for Non-Repudiation Service based on Adaptive Secure Methodology in Electronic Commerce.	Inf. Syst. Frontiers	2004	DBLP DOI BibTeX RDF	security software framework, electronic commerce (e-commerce), adaptive secure methodology, non-repudiation
11	Patroklos G. Argyroudis, Raja Verma, Hitesh Tewari, Donal O'Mahony	Performance Analysis of Cryptographic Protocols on Handheld Devices.	NCA	2004	DBLP DOI BibTeX RDF
11	Yasir Ali, Sean W. Smith	Flexible and Scalable Public Key Security for SSH.	EuroPKI	2004	DBLP DOI BibTeX RDF
11	Haidong Xia, José Carlos Brustoloni	Detecting and Blocking Unauthorized Access in Wi-Fi Networks.	NETWORKING	2004	DBLP DOI BibTeX RDF
11	Tawfiq S. M. Barhoom, Shen-sheng Zhang	Trusted Exam Marks System at IUG Using XML-Signature.	CIT	2004	DBLP DOI BibTeX RDF	XML Digital Signature, Multi-Signed Document, non-repudiation, XML security
11	Mao-Yin Wang, Chih-Pin Su, Chih-Tsun Huang, Cheng-Wen Wu	An HMAC processor with integrated SHA-1 and MD5 algorithms.	ASP-DAC	2004	DBLP DOI BibTeX RDF
11	Jean-Michel Sahut, Malgorzata Galuszewska	Electronic Payment Market: A Non-Optimal Equilibrium.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
11	Ajay Chander, Drew Dean, John C. Mitchell	A Distributed High Assurance Reference Monitor.	ISC	2004	DBLP DOI BibTeX RDF
11	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	State/Event-Based Software Model Checking.	IFM	2004	DBLP DOI BibTeX RDF
11	Roar Lien, Tim Grembowski, Kris Gaj	A 1 Gbit/s Partially Unrolled Architecture of Hash Functions SHA-1 and SHA-512.	CT-RSA	2004	DBLP DOI BibTeX RDF
11	Satoshi Shirasuna, Aleksander Slominski, Liang Fang, Dennis Gannon	Performance Comparison of Security Mechanisms for Grid Services.	GRID	2004	DBLP DOI BibTeX RDF
11	Qin Zhang 0004, Hai Jin 0001, Chuanjiang Yi, Liping Pang	Tree-like Hierarchical Model for Distributed Micro-Security System.	ISPAN	2004	DBLP DOI BibTeX RDF
11	John Marchesini, Sean W. Smith, Omen Wild, Joshua Stabiner, Alex Barsamian	Open-Source Applications of TCPA Hardware.	ACSAC	2004	DBLP DOI BibTeX RDF
11	Min Choi, DaeWoo Lee, Seung Ryoul Maeng	Cluster computing environment supporting single system image.	CLUSTER	2004	DBLP DOI BibTeX RDF
11	William G. Morein, Angelos Stavrou, Debra L. Cook, Angelos D. Keromytis, Vishal Misra, Dan Rubenstein	Using graphic turing tests to counter automated DDoS attacks against web servers.	CCS	2003	DBLP DOI BibTeX RDF	graphic turing tests, Java, web proxies
11	Michael Roe	Panel Session: Is Protocol Modelling Finished?	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
11	Matej Trampus, Mojca Ciglaric, Matjaz Pancur, Tone Vidmar	Are E-Commerce Users Defenceless?	IPDPS	2003	DBLP DOI BibTeX RDF	Run time modification, Security, E-commerce, Attack
11	Bruno Blanchet, Benjamin Aziz	A Calculus for Secure Mobility.	ASIAN	2003	DBLP DOI BibTeX RDF
11	Rafael Álvarez, Joan-Josep Climent, Leandro Tortosa, Antonio Zamora 0001	A Pseudorandom Bit Generator Based on Block Upper Triangular Matrices.	ICWE	2003	DBLP DOI BibTeX RDF
11	Cástor Mariño, Carlos Abalde, Manuel G. Penedo, Marta Penas	Design of a Medical Application Using XML Based Data Interchange.	EUROCAST	2003	DBLP DOI BibTeX RDF
11	Abhishek Singh, André L. M. dos Santos	Grammar based off line generation of disposable credit card numbers.	SAC	2002	DBLP DOI BibTeX RDF
11	Anastasios Ioannidis, Manos Spanoudakis, Giannis Priggouris, C. Eliopoulou, Stathes Hadjiefthymiades, Lazaros F. Merakos	EURO-CITI Security Manager: Supporting Transaction Services in the e-Government Domain.	EGOV	2002	DBLP DOI BibTeX RDF
11	Ichiro Satoh	Dynamic Configuration of Agent Migration Protocols for the Internet.	SAINT	2002	DBLP DOI BibTeX RDF	agent migration, protocol, mobile agent, adaptive system
11	Tim Grembowski, Roar Lien, Kris Gaj, Nghi Nguyen, Peter Bellows, Jaroslav Flidr, Tom Lehman, Brian Schott	Comparative Analysis of the Hardware Implementations of Hash Functions SHA-1 and SHA-512.	ISC	2002	DBLP DOI BibTeX RDF
11	Vorapranee Khu-smith, Chris J. Mitchell	Using EMV Cards to Protect E-commerce Transactions.	EC-Web	2002	DBLP DOI BibTeX RDF	EMV cards, payment protocol, e-commerce security
11	Jong-Phil Yang, Kyung Hyune Rhee	The Design and Implementation of Improved Secure Cookies Based on Certificate.	INDOCRYPT	2002	DBLP DOI BibTeX RDF	authentication, web security, cookie, public key certificate
11	Hiroyuki Tomimori, Yukikazu Nakamoto	An Efficient and Flexible Access Control Framework for Java Programs in Mobile Terminals.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	server authentication, Java, mobile terminal, security domain
11	Suresh Chari, Josyula R. Rao, Pankaj Rohatgi	Template Attacks.	CHES	2002	DBLP DOI BibTeX RDF
11	Nils Gura, Sheueling Chang Shantz, Hans Eberle, Sumit Gupta, Vipul Gupta, Daniel F. Finchelstein, Edouard Goupy, Douglas Stebila	An End-to-End Systems Approach to Elliptic Curve Cryptography.	CHES	2002	DBLP DOI BibTeX RDF
11	Joon S. Park, Ravi S. Sandhu, Gail-Joon Ahn	Role-based access control on the web.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	WWW security, World Wide Web (WWW), role-based access control, cookies, digital certificates
11	Don Cruickshank, Luc Moreau 0001, David De Roure	Architectural design of a multi-agent system for handling metadata streams.	Agents	2001	DBLP DOI BibTeX RDF
11	Diana Berbecaru, Antonio Lioy, Marius Marian	On the Complexity of Public-Key Certificate Validation.	ISC	2001	DBLP DOI BibTeX RDF	certificate validation, DPD, DPV, PKI, certificate revocation, CRL, OCSP
11	Mahfuzur Rahman, Prabir Bhattacharya	Secure Network Communication Using Biometrics.	ICME	2001	DBLP DOI BibTeX RDF
11	Jong-Phil Yang, Weon Shin, Kyung Hyune Rhee	An End-to-End Authentication Protocol in Wireless Application Protocol.	ACISP	2001	DBLP DOI BibTeX RDF
11	Paul A. Gray, Srividya Chandramohan, Vaidy S. Sunderam	A Repository System with Secure File Access for Collaborative Environments.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
11	Bernd Blobel	Trustworthiness in Distributed Electronic Healthcare Records-Basis for Shared Care.	ACSAC	2001	DBLP DOI BibTeX RDF
11	Dinesh Kadamuddi, Jeffrey J. P. Tsai	Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Parallel processing, distributed application, deadlock, clustering algorithm, synchronous communication, software environment
11	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano	Making Sense of Specifications: The Formalization of SET.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
11	K. T. Ng, Y. M. Siu	The Development of a Betting System on the Internet.	ITCC	2000	DBLP DOI BibTeX RDF
11	Dirk Balfanz, Drew Dean, Mike Spreitzer	A Security Infrastructure for Distributed Java Applications.	S&P	2000	DBLP DOI BibTeX RDF	Access Control Logics, Security, Java, Access Control, Distributed Computing
11	Goedson T. Paixão, Wagner Meira Jr., Virgílio A. F. Almeida, Daniel A. Menascé, Adriano C. M. Pereira	Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
11	Lawrence C. Paulson	Inductive Analysis of the Internet Protocol TLS.	ACM Trans. Inf. Syst. Secur.	1999	DBLP DOI BibTeX RDF	inductive method, proof tools, authentication, TLS, Isabelle
11	Jean-Sébastien Coron, David Naccache, Julien P. Stern	On the Security of RSA Padding.	CRYPTO	1999	DBLP DOI BibTeX RDF