Nonclassical Logics and Information Processing - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 79 from 79

2018

A Case Study for Practical Issues of DCT Based Bitmap Selective Encryption MethodsHan Qiu 0001, Nathalie Enfrin, Gérard Memmi. berlin 2018: 1-7 [doi]

Third International Conference on Security of Smart Cities, Industrial Control System and Communications, SSIC 2018, Shanghai, China, October 18-19, 2018IEEE, 2018. [doi]

Least Cost Precision Marketing Based on User Profiles in Social NetworksMengyi Chen, Li Pan. berlin 2018: 1-8 [doi]

SDKSE: A Secure Dynamic Keyword Searchable Encryption Scheme for Email SystemsHongyuan Chen, Zhenfu Cao, Xiaolei Dong, Jiachen Shen. berlin 2018: 1-6 [doi]

Detection of DGA Domains Based on Support Vector MachineYu Chen, Sheng Yan, Tianyu Pang, Rui Chen. berlin 2018: 1-4 [doi]

Energy-Aware Distribution of Data Fragments in Unattended Wireless Sensor NetworksHong-Beom Choi, Young-Bae Ko, Keun Woo Lim. berlin 2018: 1-8 [doi]

An adaptive authentication and authorization scheme for IoT's gateways: a blockchain based approachAchraf Fayad, Badis Hammi, Rida Khatoun. berlin 2018: 1-7 [doi]

Machine Learning-based RF Jamming Detection in Wireless NetworksZhutian Feng, Cunqing Hua. berlin 2018: 1-6 [doi]

Multi-SDN Based Cooperation Scheme for DDoS Attack DefenseBoren He, Futai Zou, Yue Wu. berlin 2018: 1-7 [doi]

Dispatching and Distributing Energy in Energy Internet under Energy DilemmaYunlong Hu, Ping Yi, Yu Sui, Zongrui Zhang, Yao Yao, Wei Wang 0190, Ting Zhu. berlin 2018: 1-5 [doi]

An Improved Group-based Influence Maximization Method in Social NetworksDanhua Huang, Li Pan. berlin 2018: 1-6 [doi]

VEPP: A Verifiable, Highly Efficient and Privacy-Preserving Protocol for Outsourcing Large Matrix MultiplicationLiang Hui, Xiaolei Dong, Jiachen Shen, Zhenfu Cao, Hongyuan Chen, Yunong Liang. berlin 2018: 1-8 [doi]

A Group based Dynamic Mix Zone Scheme for Location Privacy Preservation in VANETsQingyuan Li, Hao Wu, Lei Liu, Bin Pan, Lan Dong. berlin 2018: 1-5 [doi]

Fully Secure Traceable and Revocable-Storage Attribute-Based Encryption with Short Update Keys via Subset Difference MethodHuijie Lian, Guangbo Wang, QingXian Wang. berlin 2018: 1-8 [doi]

PU Learning in Payload-based Web Anomaly DetectionYuxuan Luo, Shaoyin Cheng, Chong Liu, Fan Jiang. berlin 2018: 1-5 [doi]

Detection for Pulmonary Nodules using RGB Channel Superposition Method in Deep Learning FrameworkYishuang Meng, Ping Yi, Xuejun Guo, Wen Gu, Xin Liu, Wei Wang, Ting Zhu. berlin 2018: 1-8 [doi]

"My autonomous car is an elephant": A Machine Learning based Detector for Implausible DimensionJean Philippe Monteuuis, Jonathan Petit, Jun Zhang, Houda Labiod, Stefano Mafrica, Alain Servel. berlin 2018: 1-8 [doi]

Image Mapping through MetadataCaleb Riggs, Tanner Douglas, Kanwalinderjit Gagneja. berlin 2018: 1-8 [doi]

Data Hiding for Color Image by Rubik's CubeChih-Wei Shiu, Wien Hong, Jeanne Chen, Tung-Shou Chen, Wan-Yi Ji. berlin 2018: 1-5 [doi]

Research on Civil Airborne Task Scheduling Test Platform Supporting Provable Data PossessionGaobo Sun, Shuyu Li, Zhanchun Kang. berlin 2018: 1-6 [doi]

Performance Modeling towards Interrupt System of Virtualized Cryptography DeviceLei Sun, Shuai Li, Songhui Guo, Yingxin Xu. berlin 2018: 1-6 [doi]

Caching Strategy for Scalable Video Coding in Information-Centric NetworkingJunhua Tang, Shuli Zhao, Yue Wu 0010, Jianhua Li. berlin 2018: 1-6 [doi]

Assessing Industrial Control System Attack Datasets for Intrusion DetectionXuelei Wang, Ernest Foo. berlin 2018: 1-8 [doi]

A UCB1-Based Online Job Dispatcher for Heterogeneous Mobile Edge Computing SystemXiaoliang Wang, Junhua Tang, Mengdi Yu, Gubei Yin, Jianhua Li. berlin 2018: 1-6 [doi]

Research and Applications of the Key Technology of Intelligent Operation and Maintenance System Architecture for Transmission Power CablesChenbin Wu, Yunjie Zhou, Xiaojuan Jiang, Yinbai Xu, Xiaodi Wang, He He. berlin 2018: 1-5 [doi]

VTET: A Virtual Industrial Control System Testbed for Cyber Security ResearchYaobin Xie, Wei Wang, Faren Wang, Rui Chang. berlin 2018: 1-7 [doi]

Total Eclipse: How To Completely Isolate a Bitcoin PeerAdja Elloh Yves-Christian, Badis Hammi, Ahmed Serhrouchni, Houda Labiod. berlin 2018: 1-7 [doi]

A Novel Android Malware Detection Approach Using Operand SequencesPeng Zhang, Shaoyin Cheng, Songhao Lou, Fan Jiang 0005. berlin 2018: 1-5 [doi]

Least Cost Rumor Community Blocking optimization in Social NetworksJianguo Zheng, Li Pan. berlin 2018: 1-5 [doi]

Classification of botnet families based on features self-learning under Network Traffic CensorshipZhihong Zhou, Lihong Yao, Jianhua Li, Bin Hu, Chen Wang, Zhenglong Wang. berlin 2018: 1-7 [doi]

2016

International Conference on Security of Smart Cities, Industrial Control System and Communications, SSIC 2016, Paris, France, July 18-19, 2016IEEE, 2016. [doi]

An approach based on the clustering coefficient for the community detection in social networksKhawla Asmi, Dounia Lotfi, Mohamed El Marraki. berlin 2016: 1-8 [doi]

Secure range query based on privacy-preserving function in two-tiered sensor networksPeng Chen, Weini Zeng, Yong Zhu, Yingyan Gu. berlin 2016: 1-6 [doi]

Securing tactical service oriented architecturesVasileios Gkioulos, Stephen D. Wolthusen. berlin 2016: 1-6 [doi]

Improved task partition based fault-tolerant rate-monotonic scheduling algorithmPengze Guo, Zhi Xue. berlin 2016: 1-5 [doi]

Clustering methods comparison: Application to source based detection of botcloudsBadis Hammi, Mohamed Cherif Rahal, Rida Khatoun. berlin 2016: 1-7 [doi]

Evaluation of RAIN RFID authentication schemesAhmad Shahrafidz Khalid, Emmanuel Conchon, Fabrice Peyrard. berlin 2016: 1-8 [doi]

The performance impact of encryption in an asynchronous cloud environmentAndrei F. Klein, Mihai Stefanescu, Alan Saied, Kurt Swakhoven. berlin 2016: 1-6 [doi]

Security authentication mechanism based on symmetric polynomials for SCADA systemsYue Lu, Xiuzhen Chen, Changsong Chen 0002. berlin 2016: 1-6 [doi]

Channel aware resource allocation for device-to-device communication underlaying cellular networksJunhua Tang, Shujun Lin, Cunqing Hua, Yue Wu, Jianhua Li. berlin 2016: 1-5 [doi]

A challenge-response authentication for RFID using Enhanced-TriviumSiye Wang, Shiyong Zhang, Lifeng Liu, Gongliang Chen. berlin 2016: 1-5 [doi]

Cube attack on reduced-round Enhanced-BiviumShiyong Zhang, Gongliang Chen, Jianhua Li. berlin 2016: 1-4 [doi]

Toward interests drift mechanism for social networkYutao Zhang, Gongshen Liu, Jun Wu, Jianhua Li, Longhua Guo. berlin 2016: 1-5 [doi]

Cooperation behavior of vehicles in an evolutionary game for information disseminationJun Zhang, Houda Labiod, Mengying Ren, Hengchuan Tan. berlin 2016: 1-8 [doi]

Multiple SDN controller orchestration for financial cloudYongkai Zhou, Hang Yuan, Lijun Zu, Guobao Liu, Ge Li. berlin 2016: 1-6 [doi]

2015

A Dempster-Shafer theory based traffic information trust model in vehicular ad hoc networksYue Wu 0010, Fanchao Meng, Guanghao Wang, Ping Yi. berlin 2015: 1-7 [doi]

International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, SSIC 2015, Shanghai, China, August 5-7, 2015IEEE, 2015. [doi]

A novel Fibonacci windows model for finding emerging patterns over online data streamTubagus Mohammad Akhriza, Yinghua Ma, Jianhua Li. berlin 2015: 1-8 [doi]

Bayesian-based model for a reputation system in vehicular networksYoucef Begriche, Rida Khatoun, Lyes Khoukhi, Xiuzhen Chen. berlin 2015: 1-6 [doi]

A solution based analysis of attack vectors on smart home systemsAndreas Brauchli, Depeng Li. berlin 2015: 1-6 [doi]

Classified security protection evaluation for vehicle information systemHuangmiao Chen, Xiuzhen Chen, Lei Fan, Changsong Chen 0002. berlin 2015: 1-6 [doi]

Security in MIMO wireless hybrid channel with artificial noiseXiao Chen, Liang Pang, Yuhuan Tang, Hongpeng Yang, Zhi Xue. berlin 2015: 1-4 [doi]

Secure Public Key Regime (SPKR) in vehicular networksTan Heng Chuan, Jun Zhang, Maode Ma, Peter Han Joo Chong, Houda Labiod. berlin 2015: 1-7 [doi]

Analysis of cyber security for industrial control systemsZakarya Drias, Ahmed Serhrouchni, Olivier Vogel. berlin 2015: 1-8 [doi]

Overview of cyber-security of industrial control systemXiaohe Fan, Kefeng Fan, Yong Wang, Ruikang Zhou. berlin 2015: 1-7 [doi]

On the use of security analytics for attack detection in vehicular ad hoc networksDhavy Gantsou. berlin 2015: 1-6 [doi]

Secure access & authentication for collaborative intercloud exchange serviceFouad Amine Guenane, Ahmed Serhrouchni. berlin 2015: 1-5 [doi]

Malicious data identification in smart grid based on residual error methodZongshuai Hu, Yong Wang, Chunhua Gu, Dejun Mengm, Xiaoli Yang, Shuai Chen. berlin 2015: 1-5 [doi]

A reputation system for detection of black hole attack in vehicular networkingRida Khatoun, P. Gut, R. Doulami, L. Khoukhi, Ahmed Serhrouchni. berlin 2015: 1-5 [doi]

Data protection: Combining fragmentation, encryption, and dispersionGérard Memmi, Katarzyna Kapusta, Han Qiu 0001. berlin 2015: 1-9 [doi]

Safe box cloud authentication using TLS extesionMounira Msahli, Mohamed Tahar Hammi, Ahmed Serhrouchni. berlin 2015: 1-6 [doi]

Flooding attacks detection in MANETsMohammad Rmayti, Youcef Begriche, Rida Khatoun, Lyes Khoukhi, Dominique Gaïti. berlin 2015: 1-6 [doi]

A testbed for SCADA cyber security and intrusion detectionPrateek Singh, Saurabh Garg, Vinod Kumar, Zia Saquib. berlin 2015: 1-6 [doi]

Survey on packet marking fields and information for IP tracebackMarion Vasseur, Xiuzhen Chen, Rida Khatoun, Ahmed Serhrouchni. berlin 2015: 1-8 [doi]

Data security and threat modeling for smart city infrastructurePaul Wang, Amjad Ali, William Kelly. berlin 2015: 1-6 [doi]

A new genetic-based rumor diffusion model for social networksYanan Wang, Xiuzhen Chen, Jianhua Li. berlin 2015: 1-5 [doi]

Malicious URL prediction based on community detectionLi-Xiong Zheng, Xiao-Lin Xu, Jia Li, Lu Zhang, Xuan-Chen Pan, Zhi-Yuan Ma, Li-Hong Zhang. berlin 2015: 1-7 [doi]

A random key management scheme for heterogeneous wireless sensor networkLina Zhu, Zuochang Zhan. berlin 2015: 1-5 [doi]

1992

Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, ProceedingsDavid Pearce, Heinrich Wansing, editors, Volume 619 of Lecture Notes in Computer Science, Springer, 1992.

1990

Conditional Logics and Cumulative LogicsAndré Fuhrmann. berlin 1992: 92-103

Testclasses and Closed World Assumptions for Non-Horn TheoriesJürgen Gehne. berlin 1992: 56-62

Semantics of Nonmonotonic Reasoning in Logic ProgrammingHeinrich Herre. berlin 1992: 104-124

Actions with Preconditions and PostconditionsMichael Morreau. berlin 1992: 46-55

Algebraic Aspects of the Relational Knowledge Representation: Modal Relation AlgebrasEwa Orlowska. berlin 1992: 1-22

Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic ProgramsDavid Pearce. berlin 1992: 63-79

Cut Elimination for Logics with Definitional ReflectionPeter Schroeder-Heister. berlin 1992: 146-171

A Logic for MemoryChristian Schumacher. berlin 1992: 23-45

Lindenbaum-Algebraic Semantics of Logic ProgramsGerd Wagner. berlin 1992: 80-91

Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional LogicHeinrich Wansing. berlin 1992: 125-145

Links

Filter by Year
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Nonclassical Logics and Information Processing (berlin)

Viewing Publication 1 - 79 from 79

2018

2016

2015

1992

1990

Links

Filter by YearOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Nonclassical Logics and Information Processing (berlin)

Viewing Publication 1 - 79 from 79

2018

2016

2015

1992

1990

Filter by Year
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1