Search results for "ASIAN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yoshihiko Kakutani	A Logic for Formal Verification of Quantum Programs.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Robert Grabowski, Lennart Beringer	Noninterference with Dynamic Security Domains and Policies.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq	"Logic Wins!".	ASIAN	2009	DBLP DOI BibTeX RDF
1	Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh	A Dolev-Yao Model for Zero Knowledge.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke	A Simulation-Based Treatment of Authenticated Message Exchange.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Deqing Zou, Jinjiu Long, Hai Jin 0001	Trusted Deployment of Virtual Execution Environment in Grid Systems.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Naoki Kobayashi 0001	Higher-Order Program Verification and Language-Based Security.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune	Deducibility Constraints.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Anupam Datta (eds.)	Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings	ASIAN	2009	DBLP DOI BibTeX RDF
1	Steve Kremer, Antoine Mercier 0002, Ralf Treinen	Reducing Equational Theories for the Decision of Static Equivalence.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Matt Henricksen	A Critique of Some Chaotic-Map and Cellular Automata-Based Stream Ciphers.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Martin Gagné, Pascal Lafourcade 0001, Yassine Lakhnech, Reihaneh Safavi-Naini	Automated Security Proof for Symmetric Encryption Modes.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Jianhong Zhang, Hua Chen, Shengnan Gao, Yixian Yang	A Special Proxy Signature Scheme with Multi-warrant.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Mitsu Okada, Ichiro Satoh (eds.)	Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers	ASIAN	2008	DBLP DOI BibTeX RDF
1	Wilson Naik Bhukya, Suneel Kumar Kommuru, Atul Negi	Masquerade Detection Based Upon GUI User Profiling in Linux Systems.	ASIAN	2007	DBLP DOI BibTeX RDF	GUI based Profiling, Mouse events, KDE, Linux Profiling, Intrusion detection, Anomaly detection, One-class SVM, Masquerade detection
1	Joshua D. Guttman	How to do Things with Cryptographic Protocols.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld	Dimensions of Declassification in Theory and Practice.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Harshit J. Shah, R. K. Shyamasundar	On Run-Time Enforcement of Policies.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens	An Integrated Model for Access Control and Information Flow Requirements.	ASIAN	2007	DBLP DOI BibTeX RDF	DTE, RBAC, Security Policy, MLS, OrBAC
1	Hyoungshick Kim	Scalable DRM System for Media Portability.	ASIAN	2007	DBLP DOI BibTeX RDF	Media Portability, Scalability, Transcoding, Home Network, DRM
1	Iliano Cervesato (eds.)	Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings	ASIAN	2007	DBLP DOI BibTeX RDF
1	Tomohiro Shioya, Yoshihiro Oyama, Hideya Iwasaki	A Sandbox with a Dynamic Policy Based on Execution Contexts of Applications.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Imad M. Abbadi	Digital Rights Management Using a Master Control Device.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Jungsuk Song, Hayato Ohba, Hiroki Takakura, Yasuo Okabe, Kenji Ohira, Yongjin Kwon	A Comprehensive Approach to Detect Unknown Attacks Via Intrusion Detection Alerts.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Sriperumbuduru Kandala Simhalu, Keiji Takeda	Browser Based Agile E-Voting System.	ASIAN	2007	DBLP DOI BibTeX RDF	Individual Verifiability, Agile Voting, Anonymity, E-Voting
1	Michele Bugliesi, Damiano Macedonio, Sabina Rossi	Static vs Dynamic Typing for Access Control in Pi-Calculus.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Gurvan Le Guernic	Information Flow Testing.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Vitaly Shmatikov, Ming-Hsiu Wang	Secure Verification of Location Claims with Simultaneous Distance Modification.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Junji Nakazato, Lihua Wang 0001, Akihiro Yamamura	Privacy Enhancing Credentials.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa	Compiling C Programs into a Strongly Typed Assembly Language.	ASIAN	2007	DBLP DOI BibTeX RDF	C, memory safety, typed assembly language
1	Gavin O'Gorman, Stephen Blott	Large Scale Simulation of Tor: .	ASIAN	2007	DBLP DOI BibTeX RDF
1	Elie Bursztein, Jean Goubault-Larrecq	A Logical Framework for Evaluating Network Resilience Against Faults and Attacks.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Mengjun Li, Ti Zhou, Zhoujun Li 0001, Huowang Chen	An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.	ASIAN	2007	DBLP DOI BibTeX RDF	abstraction and refinement, security protocol
1	Petros Belsis, Stefanos Gritzalis, Christos Skourlas, Vassilis Tsoukalas	Managing Uncertainty in Access Control Decisions in Distributed Autonomous Collaborative Environments.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Mohammad Jafari, Mohammad Fathian	Management Advantages of Object Classification in Role-Based Access Control (RBAC).	ASIAN	2007	DBLP DOI BibTeX RDF	Access Control, Role-Based Access Control (RBAC), Object Classification
1	Ali Borji	Combining Heterogeneous Classifiers for Network Intrusion Detection.	ASIAN	2007	DBLP DOI BibTeX RDF	Intrusion Detection, PCA, Anomaly Detection, Combined Classifiers, Misuse Detection
1	E. Ramirez-Silva, Marc Dacier	Empirical Study of the Impact of Metasploit-Related Attacks in 4 Years of Attack Traces.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Han Gao 0002, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson	A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Atsushi Sakurai, Takashi Minohara, Ryota Sato, Keisuke Mizutani	One-Time Receiver Address in IPv6 for Protecting Unlinkability.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Kazuhiko Kato	Modeling and Virtualization for Secure Computing Environments.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Muhammad Torabi Dashti, Yanjing Wang 0001	Risk Balance in Exchange Protocols.	ASIAN	2007	DBLP DOI BibTeX RDF
1	Gergei Bana, Koji Hasebe, Mitsuhiro Okada	Computational Semantics for Basic Protocol Logic - A Stochastic Approach.	ASIAN	2007	DBLP DOI BibTeX RDF	formal methods, cryptographic protocols, first order logic, computational semantics
1	Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han	A Static Birthmark of Binary Executables Based on API Call Structure.	ASIAN	2007	DBLP DOI BibTeX RDF	software piracy, binary analysis, software birthmark
1	Gurvan Le Guernic, Anindya Banerjee 0001, Thomas P. Jensen, David A. Schmidt	Automata-Based Confidentiality Monitoring.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Formalization of CTL* in Calculus of Inductive Constructions.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Corneliu Popeea, Wei-Ngan Chin	Inferring Disjunctive Postconditions.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa	Modeling Urgency in Component-Based Real-Time Systems.	ASIAN	2006	DBLP DOI BibTeX RDF	Duration Automata, Real-time Systems, Model Checking, Automatic Verification, Component Software
1	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Modular Formalization of Reactive Modules in COQ.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Nai Xia, Bing Mao, Qingkai Zeng 0002, Li Xie 0001	Efficient and Practical Control Flow Monitoring for Program Security.	ASIAN	2006	DBLP DOI BibTeX RDF	Program Vulnerability, Source Code Instrumentation, Static Analysis, Control Flow, Dynamic Profiling
1	Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia	FORM : A Federated Rights Expression Model for Open DRM Frameworks.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Khandoker Asadul Islam, Yoshimichi Watanabe	Maintaining Data Consistency of XML Databases Using Verification Techniques.	ASIAN	2006	DBLP DOI BibTeX RDF	Verification, XML Database
1	Lucia Acciai, Michele Boreale	Responsiveness in Process Calculi.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Reynald Affeldt, Nicolas Marti	An Approach to Formal Verification of Arithmetic Functions in Assembly.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert	Secrecy Analysis in Protocol Composition Logic.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Souhei Ito, Shigeki Hagihara, Naoki Yonezaki	An Operational Semantics of Program Dependence Graphs for Unstructured Programs.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Gergei Bana, Payman Mohassel, Till Stegers	Computational Soundness of Formal Indistinguishability and Static Equivalence.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad	Breaking and Fixing Public-Key Kerberos.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Vincent Bernat, Hubert Comon-Lundh	Normal Proofs in Intruder Theories.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Zhaohui Luo	A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Yannick Chevalier, Mounira Kourjieh	A Symbolic Intruder Model for Hash-Collision Attacks.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Slawomir Lasota 0001, David Nowak, Yu Zhang	On Completeness of Logical Relations for Monadic Types.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	Combination of Abstractions in the ASTRÉE Static Analyzer.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Akira Matsunaga, Tsutomu Matsumoto	Security Evaluation of a Type of Table-Network Implementation of Block Ciphers.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Alejandro Russo, John Hughes 0001, David A. Naumann, Andrei Sabelfeld	Closing Internal Timing Channels by Transformation.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Huibiao Zhu, Geguang Pu, Jifeng He 0001	A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Qin Ma 0002, Luc Maranget	Information Hiding in the Join Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Masatomo Hashimoto	A Method of Safety Analysis for Runtime Code Update.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Zining Cao	A Spatial Logical Characterisation of Context Bisimulation.	ASIAN	2006	DBLP DOI BibTeX RDF
1	Tarjei K. Mandt, Chik How Tan	Certificateless Authenticated Two-Party Key Agreement Protocols.	ASIAN	2006	DBLP DOI BibTeX RDF	bilinear map, authenticated key agreement, Certificateless public key cryptography
1	Junfeng Tian, Min Peng, Yuling Liu	A New Active DDoS Defense System Based on Automatic Learning.	ASIAN	2005	DBLP DOI BibTeX RDF	active defense, neural network, statistical analysis, DDoS, traffic monitoring
1	Tova Milo	Peer-to-Peer Data Integration with Active XML.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Stéphane Grumbach, Liying Sui, Victor Vianu (eds.)	Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings	ASIAN	2005	DBLP DOI BibTeX RDF
1	Yue Li, Xing Li 0001, Jingfang Xu	Systematic Study on Query Expansion.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Tao Du 0003, Shensheng Zhang, Zongjiang Wang	Parallel Learning of Bayesian Networks Based on Ordering of Sets.	ASIAN	2005	DBLP DOI BibTeX RDF
1		Shared Ontology for Pervasive Computing.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Yan Zhu 0007, Alejandro P. Buchmann	Cubing Web Data Based on Multidimensional Arrays.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Hao Wu 0010, Hai Jin 0001, Yunfa Li 0001, Hanhan Chen	An Approach for Service Discovery Based on Semantic Peer-to-Peer.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Fei Shi, Ahmad AlShibli	Searching Patterns in Digital Image Databases.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Teng Lv, Ping Yan, Qiongxiang Huang	Relational to XML Schema Conversion with Constraints.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki	A Practical Approach to Automatic Parameter-Tuning of Web Servers.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Junfeng Man, Aimin Yang, Jianshe Li, Qianqian Li	Research on the Similarity of Constraint Driven Semantic Web Services.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Dong-Zhan Zhang, Yong-Sheng Xue	An Extended Mandatory Access Control Model for XML.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Yanhua Wu, Yunze Cai, Xiaoming Xu	Dynamic Hybrid DVE Architecture.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Changxuan Wan, Xiping Liu, Dahai Lin	Efficient Evaluation of Sibling Relationship in XPath Queries.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Prabhakar Raghavan	Query Incentive Networks.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Xiujun Ma, Kunqing Xie, Chen Liu, Chenyu Li	Dynamic Geospatial Web Services Composition in Peer-to-Peer Networks.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Dongkyu Kim, Sang-goo Lee, Junho Shim, Jonghoon Chun, Zoonky Lee, Heungsun Park	Practical Ontology Systems for Enterprise Application.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Yichun Liu, Jianming Fu, Huanguo Zhang	An Optimistic Fair Protocol for P2P Chained Transaction.	ASIAN	2005	DBLP DOI BibTeX RDF	P2P transaction, chained transaction, onion payment, fairness
1	Zijing Hu, Hongyan Li 0002, Baojun Qiu, Lv-an Tang, Yu Fan, Haibin Liu, Jianlong Gao, Xinbiao Zhou	Using Control Theory to Guide Load Shedding in Medical Data Stream Management System.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Xiujuan Xu, Lifeng Jia, Zhe Wang 0007, Chunguang Zhou	DualRank: A Dual-Phase Algorithm for Optimal Profit Mining in Retailing Market.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Ting Yin, Hongyan Li 0002, Zijing Hu, Yu Fan, Jianlong Gao, Shiwei Tang	A Hybrid Method for Detecting Data Stream Changes with Complex Semantics in Intensive Care Unit.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Zhi Zhang, Haoyang Che, Pengfei Shi, Yong Sun, Jun Gu	Schema Homomorphism - An Algebraic Framework for Schema Matching.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Junhu Zhang, Dongqing Yang, Shiwei Tang	ACB-R: An Adaptive Clustering-Based Data Replication Algorithm on a P2P Data-Store.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Qian Zhang 0060, Yu Sun 0008, Xia Zhang, Xuezhi Wen, Zheng Liu	TOP-k Query Calculation in Peer-to-Peer Networks.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Baojun Qiu, Hongyan Li 0002, Zijing Hu, Dongqing Yang, Lv-an Tang, Jianjun Wang, Meimei Li, Shiwei Tang	General Consistency Management Within the Development of Ontology-Driven Web Information System.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Sylvia B. Encheva, Sharil Tumin	Security Concerns for Web Services and Applications.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Zhiqiang Zhang, Qi Guo, Hang Guo, Lizhu Zhou	Three-Level Schema Model in a Web Data Engine.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Hongzhi Wang 0001, Wei Wang 0011, Jianzhong Li 0001, Xuemin Lin 0001, Raymond K. Wong 0001	Practical Indexing XML Document for Twig Query.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Haibo Li, Lizhen Wang	An Equity-Based and Cell-Based Spatial Object Fusion Method.	ASIAN	2005	DBLP DOI BibTeX RDF

Publications at "ASIAN"( http://dblp.L3S.de/Venues/ASIAN )