Sciweavers

    TDSC
    2008
    152views more  TDSC 2008»
    Towards Formal Verification of Role-Based Access Control Policies
    14 years 19 days ago
    Towards Formal Verification of Role-Based Access Control Policies
    Download  homes.cerias.purdue.edu
    Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
    Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
    claim paper
    Read More »
    TDSC
    2008
    119views more  TDSC 2008»
    Architectural Risk Analysis of Software Systems Based on Security Patterns
    14 years 19 days ago
    Architectural Risk Analysis of Software Systems Based on Security Patterns
    Download  eprints.csse.uom.gr
    The importance of software security has been profound, since most attacks to software systems are based on vulnerabilities caused by poorly designed and developed software. Further...
    Spyros T. Halkidis, Nikolaos Tsantalis, Alexander ...
    claim paper
    Read More »
    TDSC
    2008
    121views more  TDSC 2008»
    Multipath Key Establishment for Wireless Sensor Networks Using Just-Enough Redundancy Transmission
    14 years 19 days ago
    Multipath Key Establishment for Wireless Sensor Networks Using Just-Enough Redundancy Transmission
    Download  web.ntpu.edu.tw
    In random key predistribution techniques for wireless sensor networks, a relatively small number of keys are randomly chosen from a large key pool and are loaded on the sensors pri...
    Jing Deng, Yunghsiang S. Han
    claim paper
    Read More »
    TDSC
    2008
    82views more  TDSC 2008»
    Generalized Ring Signatures
    14 years 19 days ago
    Generalized Ring Signatures
    Download  h.web.umkc.edu
    Jian Ren, Lein Harn
    claim paper
    Read More »
    TDSC
    2008
    99views more  TDSC 2008»
    Integrity Codes: Message Integrity Protection and Authentication over Insecure Channels
    14 years 19 days ago
    Integrity Codes: Message Integrity Protection and Authentication over Insecure Channels
    Download  www.fesb.hr
    Inspired by unidirectional error detecting codes that are used in situations where only one kind of bit error is possible (e.g., it is possible to change a bit "0" into a...
    Srdjan Capkun, Mario Cagalj, Ram Kumar Rengaswamy,...
    claim paper
    Read More »
    TDSC
    2008
    87views more  TDSC 2008»
    Credit Card Fraud Detection Using Hidden Markov Model
    14 years 19 days ago
    Credit Card Fraud Detection Using Hidden Markov Model
    Download  www.cc.gatech.edu
    Due to a rapid advancement in the electronic commerce technology, the use of credit cards has dramatically increased. As credit card becomes the most popular mode of payment for bo...
    Abhinav Srivastava, Amlan Kundu, Shamik Sural, Aru...
    claim paper
    Read More »
    TDSC
    2008
    102views more  TDSC 2008»
    Temporal Partitioning of Communication Resources in an Integrated Architecture
    14 years 19 days ago
    Temporal Partitioning of Communication Resources in an Integrated Architecture
    Download  www.vmars.tuwien.ac.at
    Integrated architectures in the automotive and avionic domain promise improved resource utilization and enable a better coordination of application subsystems compared to federated...
    Roman Obermaisser
    claim paper
    Read More »
    TDSC
    2008
    83views more  TDSC 2008»
    A Precise Termination Condition of the Probabilistic Packet Marking Algorithm
    14 years 19 days ago
    A Precise Termination Condition of the Probabilistic Packet Marking Algorithm
    Download  www.cse.cuhk.edu.hk
    The probabilistic packet marking (PPM) algorithm is a promising way to discover the Internet map or an attack graph that the attack packets traversed during a distributed denial-of...
    T. Y. Wong, Man Hon Wong, John C. S. Lui
    claim paper
    Read More »
    TDSC
    2008
    116views more  TDSC 2008»
    Practical Inference Control for Data Cubes
    14 years 19 days ago
    Practical Inference Control for Data Cubes
    Download  cimic.rutgers.edu
    The fundamental problem for inference control in data cubes is how to efficiently calculate the lower and upper bounds for each cell value given the aggregations of cell values ove...
    Haibing Lu, Yingjiu Li
    claim paper
    Read More »
    TDSC
    2008
    125views more  TDSC 2008»
    Trustworthy Computing under Resource Constraints with the DOWN Policy
    14 years 19 days ago
    Trustworthy Computing under Resource Constraints with the DOWN Policy
    Download  www.cse.msstate.edu
    Trustworthy computing modules like secure coprocessors (ScP) are already in extensive use today, albeit limited predominantly to scenarios where constraints on cost is not a seriou...
    Mahalingam Ramkumar
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.